diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2025-07-09 00:22:54 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2025-07-09 00:22:54 +0200 |
| commit | 22e4eba441c9a2205798031b533b4e5d0e2b3054 (patch) | |
| tree | befbf08348c54168ce8730faa3335aa42e7c7248 /test/golden/proofassume/verification.golden | |
| parent | 8cda32fda857d9242eb42d4fb5774e6869525476 (diff) | |
`fld_cons` faster proof (down from 12s)
Diffstat (limited to 'test/golden/proofassume/verification.golden')
0 files changed, 0 insertions, 0 deletions