For function postcondition violations, point to the problematic expression branch #18060
refman.yml
on: pull_request
check-deep-tests
/
check-deep-tests
Matrix: build-refman
Waiting for pending jobs
Annotations
1 error
Build DafnyRef.pdf
Canceling since a higher priority waiting request for 'Build DafnyRef.pdf-refs/pull/5681/merge' exists
|