From a5da5b2af6425944b6ac6e568323103a02e4baf3 Mon Sep 17 00:00:00 2001
From: Fabian Vu <Fabian.Vu@hhu.de>
Date: Mon, 28 Oct 2024 23:21:12 +0100
Subject: [PATCH] Update Makefile for JS

---
 benchmarks/model_checking_opreuse/JS/Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/benchmarks/model_checking_opreuse/JS/Makefile b/benchmarks/model_checking_opreuse/JS/Makefile
index 9a9db9106..2d9628c54 100644
--- a/benchmarks/model_checking_opreuse/JS/Makefile
+++ b/benchmarks/model_checking_opreuse/JS/Makefile
@@ -2,7 +2,7 @@
 
 .PHONY: build all clean
 
-all: Lift_MC_Large CAN_BUS_tlc Cruise_finite1_deterministic_MC LandingGear_R6 Train_1_beebook_deterministic_MC_POR_v2 sort_m2_data1000_MC QueensWithEvents_4 nota_v2
+all: Lift_MC_Large Cruise_finite1_deterministic_MC CAN_BUS_tlc LandingGear_R6 nota_v2 rether obsw_M001_1 obsw_M001_2 prob_oneway8seq Train_1_beebook_deterministic_MC_POR_v2 sort_m2_data1000_MC QueensWithEvents_4
 
 build:
 	cd ../../../btypes_primitives/src/main/js ; cp -R btypes ../../../../benchmarks/model_checking/JS/btypes; cd ../../../../benchmarks/model_checking/JS
@@ -17,6 +17,10 @@ COMPILE_FLAGS=--target ES6 --moduleResolution node
 
 % : %.js
 	timeout 60m gtime -f "%C %E %M" -ao $(OUTPUT) node $@ $(STRATEGY) $(CACHING)
+	timeout 60m gtime -f "%C %E %M" -ao $(OUTPUT) node $@ $(STRATEGY) $(CACHING)
+	timeout 60m gtime -f "%C %E %M" -ao $(OUTPUT) node $@ $(STRATEGY) $(CACHING)
+	timeout 60m gtime -f "%C %E %M" -ao $(OUTPUT) node $@ $(STRATEGY) $(CACHING)
+	timeout 60m gtime -f "%C %E %M" -ao $(OUTPUT) node $@ $(STRATEGY) $(CACHING)
 
 clean:
 	rm *.js
-- 
GitLab