Skip to content
Dafny Core verification

Replace deprecated syntax 'forall ensures' -> 'assert ... by' #807

Sign in to view logs

Replace deprecated syntax 'forall ensures' -> 'assert ... by'

Replace deprecated syntax 'forall ensures' -> 'assert ... by' #807

Annotations

2 errors

The logs for this run have expired and are no longer available.