Delete obsolete booster-dev responses

runtimeverification · Oct 16, 2024 · 9b4f310 · 9b4f310
1 parent 30b7ce1
commit 9b4f310
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 253 deletions.
diff --git a/booster/test/rpc-integration/test-diamond/response-mutual-constraints-stuck.booster-dev b/booster/test/rpc-integration/test-diamond/response-mutual-constraints-stuck.booster-dev
diff --git a/booster/test/rpc-integration/test-diamond/response-mutual-constraints-terminal.booster-dev b/booster/test/rpc-integration/test-diamond/response-mutual-constraints-terminal.booster-dev