Rename test case

runtimeverification · Aug 6, 2024 · 575428c · 575428c
1 parent d82576f
commit 575428c
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 1 deletion.
diff --git a/booster/test/rpc-integration/test-vacuous/README.md b/booster/test/rpc-integration/test-vacuous/README.md
@@ -38,7 +38,7 @@ Rules `init` and `AC` introduce constraints on this variable:
    _Expected:_
    - The rewrite is stuck with `<k>d</k><int>N</int> \and...(contradiction)`
    - The result is simplified and discovered to be `vacuous` (with state `d`).
-1) _vacuous-but-rewritten_
+1) _vacuous-not-rewritten_
 
    _Input:_
    - `execute` request with initial state  `<k>b</k><int>N</int> \and N

diff --git a/...cuous/response-vacuous-but-rewritten.json → ...cuous/response-vacuous-not-rewritten.json b/...cuous/response-vacuous-but-rewritten.json → ...cuous/response-vacuous-not-rewritten.json
diff --git a/...sponse-vacuous-but-rewritten.kore-rpc-dev → ...sponse-vacuous-not-rewritten.kore-rpc-dev b/...sponse-vacuous-but-rewritten.kore-rpc-dev → ...sponse-vacuous-not-rewritten.kore-rpc-dev
diff --git a/...cuous/state-vacuous-but-rewritten.execute → ...cuous/state-vacuous-not-rewritten.execute b/...cuous/state-vacuous-but-rewritten.execute → ...cuous/state-vacuous-not-rewritten.execute