commenting tests

haslab · Mar 8, 2024 · 36f929f · 36f929f
1 parent 9bf14f8
commit 36f929f
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/test.sh b/test.sh
@@ -13,17 +13,17 @@ all_tests=(
 "examples/mutualExclusionConcurrent/PetersonAtomic -L stateMachineModels -L examples/mutualExclusionConcurrent"
 "examples/mutualExclusionConcurrent/BakeryAtomic -L stateMachineModels -L examples/mutualExclusionConcurrent"
 "examples/waitFreeRegister/slotsAbstract -L stateMachineModels -L examples/waitFreeRegister"
-"examples/waitFreeRegister/fourSlots -L stateMachineModels -L examples/waitFreeRegister"
+# "examples/waitFreeRegister/fourSlots -L stateMachineModels -L examples/waitFreeRegister"
 "examples/counter/counter -L stateMachineModels -L examples/counter"
 "examples/counter/counter_lock -L stateMachineModels -L examples/counter"
 "examples/counter/counter_alt -L stateMachineModels -L examples/counter"
 "examples/counter/counter_lock_alt -L stateMachineModels -L examples/counter"
 "examples/leaderElection/leaderElect -L stateMachineModels -L examples/leaderElection"
 "examples/leaderElection/leaderElectMax -L stateMachineModels -L examples/leaderElection"
-"examples/leaderElection/ChangRoberts -L stateMachineModels -L examples/leaderElection"
+# "examples/leaderElection/ChangRoberts -L stateMachineModels -L examples/leaderElection"
 "examples/leaderElection/ChangRobertsNetwork -L stateMachineModels -L examples/leaderElection"
 "examples/mutualExclusionToken/oneToken -L stateMachineModels -L examples/mutualExclusionToken"
-"examples/mutualExclusionToken/selfstab-ring -L stateMachineModels -L examples/mutualExclusionToken"
+# "examples/mutualExclusionToken/selfstab-ring -L stateMachineModels -L examples/mutualExclusionToken"
 "examples/mutualExclusionToken/selfstab-biarray-2states -L stateMachineModels -L examples/mutualExclusionToken"
 "examples/paxos/consensus -L stateMachineModels -L examples/paxos"
 "examples/paxos/consensus_orig -L stateMachineModels -L examples/paxos"
@@ -35,8 +35,8 @@ all_tests=(
 "examples/changRobertsNetwork/leaderlect-ring -L networkModels"
 "examples/distributedLockNetwork/specLDT"
 "examples/distributedLockNetwork/LDT -L networkModels -L examples/distributedLockNetwork"
-"examples/distributedLockNetwork/LDTDupl -L networkModels -L examples/distributedLockNetwork"
-"examples/paxosNoRefinement/paxos"
+# "examples/distributedLockNetwork/LDTDupl -L networkModels -L examples/distributedLockNetwork"
+# "examples/paxosNoRefinement/paxos"
 )
 
 failed=0
@@ -73,4 +73,4 @@ echo "Failed: $failed" >> $GITHUB_STEP_SUMMARY
 
 echo ""
 echo "Replayed $runned from which $failed failed."
-exit $failed
+exit $failed