remove tests

Signed-off-by: Denis Kolegov <[email protected]>
matter-labs · Jun 26, 2024 · 68fa167 · 68fa167
1 parent 059e2e3
commit 68fa167
Showing 1 changed file with 3 additions and 8 deletions.
diff --git a/spec/Makefile b/spec/Makefile
@@ -1,4 +1,4 @@
-.PHONY: test unit check repl integration experiments
+.PHONY: test unit check repl integration smoke-tests
 
 repl:
 	cd protocol-spec && echo "init\n step\n step\n step" | quint -r main.qnt::main 
@@ -14,14 +14,9 @@ integration:
 unit:
 	cd protocol-spec/tests && quint test ./unit_tests.qnt	
 
-test: check repl unit integration experiments
+test: check repl unit integration smoke-tests
 
-experiments:
-	cd protocol-spec/experiments && quint verify --max-steps=1 --init=g_init --step=g_step --invariant=g_agreement_inv n6f1b2_guided_agreement.qnt
-	cd protocol-spec/experiments && quint verify --max-steps=1 --init=g_init --step=g_step --invariant=g_two_chained_blocks_example n6f1b0_guided_no_proposing_leader.qnt
-	cd protocol-spec/experiments && quint verify --max-steps=1 --init=g_init --step=g_step --invariant=g_all_invariants n6f1b1_guided_dead_lock.qnt
-	cd protocol-spec/experiments && quint verify --max-steps=1 --init=g_init --step=g_step --invariant=g_two_chained_blocks_example n6f1b1_guided_two_blocks.qnt
-	cd protocol-spec/experiments && quint verify --max-steps=1 --init=g_init --step=g_step --invariant=g_all_invariants n7f1b0_guided_three_blocks.qnt
+smoke-tests:
 	cd protocol-spec/experiments && quint verify --max-steps=1 --invariant=all_invariants n7f1b0.qnt
 	cd protocol-spec/experiments && quint verify --max-steps=1 --invariant=all_invariants n6f1b3.qnt
 	cd protocol-spec/experiments && quint verify --max-steps=1 --invariant=all_invariants n6f1b2.qnt