Rename parameter in integration tests

runtimeverification · Aug 21, 2024 · e155e58 · e155e58
1 parent df4cfae
commit e155e58
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/booster/test/rpc-integration/test-vacuous/params-unchecked-vacuous-rewrite.json b/booster/test/rpc-integration/test-vacuous/params-unchecked-vacuous-rewrite.json
@@ -1 +1 @@
-{ "assume-state-defined": true }
+{ "assume-defined": true }
diff --git a/booster/test/rpc-integration/test-vacuous/params-vacuous-but-rewritten.json b/booster/test/rpc-integration/test-vacuous/params-vacuous-but-rewritten.json
@@ -1 +1 @@
-{ "assume-state-defined": true }
+{ "assume-defined": true }
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{ "assume-state-defined": true }
		{ "assume-defined": true }