Updated proof options for efficiency and fast failure by dkcumming · Pull Request #175 · runtimeverification/solana-token

dkcumming · 2026-03-10T18:46:58Z

Updating default proof flags for highest performance and feedback:

Removing "--max-iterations 10000 --max-depth 10000" since we can now dump targeted state by mir-semantics 960
Adding "--fail-fast" to report errors as fast as possible
Adding "--max-workers 4" since this has the best aggregate performance increase (minor reduction for fast proofs, major improvement for slow proofs)

Updated proof options for efficiency and fast failure

cbb6d72

dkcumming requested review from Stevengre and mariaKt March 10, 2026 18:46

Merge branch 'proofs' into dc/update-proof-opts

b9522b7

mariaKt approved these changes Mar 10, 2026

View reviewed changes

dkcumming added the automerge label Mar 10, 2026

automergerpr-permission-manager bot merged commit b23873c into proofs Mar 10, 2026
1 check passed

Provide feedback