Merge remote-tracking branch 'origin/master' into release

rv-auditor · rv-auditor · commit b3eb4e6663e0 · 2024-06-18T06:55:00.000Z
diff --git 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 |]

Original file line number	Diff line number	Diff line change
`@@ -258,7 +258,7 @@ levelToContext =`
`258`	`258`	`( "Rewrite"`
`259`	`259`	`,`
`260`	`260`	`[ [ctxt\| booster\|kore>rewrite*,success\|failure\|abort\|detail \|]`
`261`		`- , [ctxt\| booster\|kore>rewrite*,match\|definedness\|condition,failure\|abort \|]`
	`261`	`+ , [ctxt\| booster\|kore>rewrite*,match\|definedness\|constraint,failure\|abort \|]`
`262`	`262`	`]`
`263`	`263`	`)`
`264`	`264`	`,`
`@@ -277,7 +277,7 @@ levelToContext =`
`277`	`277`	`( "Aborts"`
`278`	`278`	`,`
`279`	`279`	`[ [ctxt\| booster>rewrite*,detail. \|]`
`280`		`- , [ctxt\| booster>rewrite*,match\|definedness\|condition,abort. \|]`
	`280`	`+ , [ctxt\| booster>rewrite*,match\|definedness\|constraint,abort. \|]`
`281`	`281`	`, [ctxt\| proxy. \|]`
`282`	`282`	`, [ctxt\| proxy,abort. \|]`
`283`	`283`	`, [ctxt\| booster>failure,abort \|]`