From 575428c912bc1674bc5bdc0753cb12645d148a26 Mon Sep 17 00:00:00 2001 From: Georgy Lukyanov Date: Tue, 6 Aug 2024 16:34:39 +0200 Subject: [PATCH] Rename test case --- booster/test/rpc-integration/test-vacuous/README.md | 2 +- ...s-but-rewritten.json => response-vacuous-not-rewritten.json} | 0 ...kore-rpc-dev => response-vacuous-not-rewritten.kore-rpc-dev} | 0 ...ut-rewritten.execute => state-vacuous-not-rewritten.execute} | 0 4 files changed, 1 insertion(+), 1 deletion(-) rename booster/test/rpc-integration/test-vacuous/{response-vacuous-but-rewritten.json => response-vacuous-not-rewritten.json} (100%) rename booster/test/rpc-integration/test-vacuous/{response-vacuous-but-rewritten.kore-rpc-dev => response-vacuous-not-rewritten.kore-rpc-dev} (100%) rename booster/test/rpc-integration/test-vacuous/{state-vacuous-but-rewritten.execute => state-vacuous-not-rewritten.execute} (100%) diff --git a/booster/test/rpc-integration/test-vacuous/README.md b/booster/test/rpc-integration/test-vacuous/README.md index 00c6823dc4..9464e3a6de 100644 --- 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 `dN \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 `bN \and N diff --git a/booster/test/rpc-integration/test-vacuous/response-vacuous-but-rewritten.json b/booster/test/rpc-integration/test-vacuous/response-vacuous-not-rewritten.json similarity index 100% rename from booster/test/rpc-integration/test-vacuous/response-vacuous-but-rewritten.json rename to booster/test/rpc-integration/test-vacuous/response-vacuous-not-rewritten.json diff --git a/booster/test/rpc-integration/test-vacuous/response-vacuous-but-rewritten.kore-rpc-dev b/booster/test/rpc-integration/test-vacuous/response-vacuous-not-rewritten.kore-rpc-dev similarity index 100% rename from booster/test/rpc-integration/test-vacuous/response-vacuous-but-rewritten.kore-rpc-dev rename to booster/test/rpc-integration/test-vacuous/response-vacuous-not-rewritten.kore-rpc-dev diff --git a/booster/test/rpc-integration/test-vacuous/state-vacuous-but-rewritten.execute b/booster/test/rpc-integration/test-vacuous/state-vacuous-not-rewritten.execute similarity index 100% rename from booster/test/rpc-integration/test-vacuous/state-vacuous-but-rewritten.execute rename to booster/test/rpc-integration/test-vacuous/state-vacuous-not-rewritten.execute