diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-08-01 12:38:56 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-08-01 12:38:56 +0200 |
| commit | 90bc966cd5025b7373d97f4370352952e9efc151 (patch) | |
| tree | 104d29f72ada5699dc9226247df794f8d14cb3bd /source/CommandLine.hs | |
| parent | 4486158b79e79ed959c953623c8549186650dbe0 (diff) | |
Unify live and cached proof validation
Diffstat (limited to 'source/CommandLine.hs')
| -rw-r--r-- | source/CommandLine.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/source/CommandLine.hs b/source/CommandLine.hs index 06a603b..f19ec7b 100644 --- a/source/CommandLine.hs +++ b/source/CommandLine.hs @@ -266,11 +266,11 @@ runOpenVerification input options outputPlan store = do validationMode = case verificationStoreSelection options of Store.FreshTemporaryStore -> - Declaration.FreshProofValidation + FreshStoreValidation Store.DefaultStore -> - Declaration.WarmProofValidation + WarmStoreValidation Store.ExplicitStore{} -> - Declaration.WarmProofValidation + WarmStoreValidation observed <- captureDumpFailure (case verificationDiagnostics options of |