From e845c00d7781d7e102eeb75afe2e82c813e78ce7 Mon Sep 17 00:00:00 2001 From: Jost Berthold Date: Tue, 18 Jun 2024 16:42:54 +1000 Subject: [PATCH] HOTFIX change condition to constraint in context options (#3947) The context string was changed in prior PR #3919 but the configuration options were not, leading to incomplete data for abort analysis.. --- booster/library/Booster/CLOptions.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/booster/library/Booster/CLOptions.hs b/booster/library/Booster/CLOptions.hs index 0974a434f3..ac18d05157 100644 --- a/booster/library/Booster/CLOptions.hs +++ b/booster/library/Booster/CLOptions.hs @@ -258,7 +258,7 @@ levelToContext = ( "Rewrite" , [ [ctxt| booster|kore>rewrite*,success|failure|abort|detail |] - , [ctxt| booster|kore>rewrite*,match|definedness|condition,failure|abort |] + , [ctxt| booster|kore>rewrite*,match|definedness|constraint,failure|abort |] ] ) , @@ -277,7 +277,7 @@ levelToContext = ( "Aborts" , [ [ctxt| booster>rewrite*,detail. |] - , [ctxt| booster>rewrite*,match|definedness|condition,abort. |] + , [ctxt| booster>rewrite*,match|definedness|constraint,abort. |] , [ctxt| proxy. |] , [ctxt| proxy,abort. |] , [ctxt| booster>failure,abort |]