Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Let measure-complexity output the worst performing verification tasks by resource count #5631

Merged
Prev Previous commit
Next Next commit
Update expect file
  • Loading branch information
keyboardDrummer committed Jul 23, 2024
commit 014d89aeffcee0a82aac92c38b4c1462634e6885
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
Starting verification of iteration 1/1 with seed 0
measure-complexity.dfy(5,18): Error: assertion might not hold
The total consumed resources are 180663
The most demanding 100 verification tasks consumed these resources:
measure-complexity.dfy(8,18): 9984
measure-complexity.dfy(7,18): 9065