Rename test case

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

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
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