From 6f2d331e4338d8ecebabc82f17d42d17574fefa6 Mon Sep 17 00:00:00 2001
From: Fabian Vu <Fabian.Vu@hhu.de>
Date: Mon, 28 Oct 2024 23:55:46 +0100
Subject: [PATCH] Update JS Makefile for benchmark

---
 benchmarks/model_checking_opreuse/JS/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/benchmarks/model_checking_opreuse/JS/Makefile b/benchmarks/model_checking_opreuse/JS/Makefile
index 2d9628c54..9b894238e 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 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
+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_v3 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
-- 
GitLab