diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-08-03 21:00:28 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-08-03 21:00:28 +0200 |
| commit | 5cdde1fd0f976863ae4b5831ab389048138b06a4 (patch) | |
| tree | f6c58aa3d08a62429188d2de9ece98c49c022b2a /test/golden/proofassume/verification.golden | |
| parent | d4667c50132fc5c55383ee3b8907705738608bff (diff) | |
Remove obsolete verification machinery
Diffstat (limited to 'test/golden/proofassume/verification.golden')
| -rw-r--r-- | test/golden/proofassume/verification.golden | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/test/golden/proofassume/verification.golden b/test/golden/proofassume/verification.golden deleted file mode 100644 index 26177bc..0000000 --- a/test/golden/proofassume/verification.golden +++ /dev/null @@ -1,6 +0,0 @@ -VerificationCompleted - ( VerificationReport - { verificationRoute = LegacyVerificationRoute - , verificationDirectEscapes = [] - } - )
\ No newline at end of file |