House-keeping: adjust -l Abort log switch, update llvm.k test defin…

…ition (#3980) * Adds the new `request <N>` prefix in front of the `proxy` context to the `-l Aborts` short-hand * updates `llvm.k` to use `symbol(Bla)` instead of `klabel(Bla), symbol` to avoid warnings
runtimeverification · Jul 16, 2024 · 764fcc2 · 764fcc2
1 parent abf81e9
commit 764fcc2
Show file tree

Hide file tree

Showing 3 changed files with 1,713 additions and 1,283 deletions.
diff --git a/booster/library/Booster/CLOptions.hs b/booster/library/Booster/CLOptions.hs
@@ -297,8 +297,8 @@ levelToContext =
             ,
                 [ [ctxt| request*,booster>rewrite*,detail. |]
                 , [ctxt| request*,booster>rewrite*,match|definedness|constraint,abort. |]
-                , [ctxt| proxy. |]
-                , [ctxt| proxy,abort. |]
+                , [ctxt| request*,proxy. |]
+                , [ctxt| request*,proxy,abort. |]
                 , [ctxt| request*,booster>failure,abort |]
                 ]
             )