Skip to content
Back to pull request #147

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

Sign in to view logs

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

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

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