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

---
 benchmarks/model_checking_opreuse/Java/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/benchmarks/model_checking_opreuse/Java/Makefile b/benchmarks/model_checking_opreuse/Java/Makefile
index d671ea3ea..449e039d5 100644
--- a/benchmarks/model_checking_opreuse/Java/Makefile
+++ b/benchmarks/model_checking_opreuse/Java/Makefile
@@ -2,7 +2,7 @@
 
 .PHONY: build all clean
 
-all: Lift_MC_Large CAN_BUS_tlc Cruise_finite1_deterministic_MC LandingGear_R6 Train1_Lukas_POR_v3 Train_1_beebook_deterministic_MC_POR_v2 sort_m2_data1000_MC QueensWithEvents_4 QueensWithEvents_8 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 ; ./gradlew -q fatJar ; cp build/libs/btypes_primitives-all.jar ../benchmarks/model_checking/Java/btypes.jar ; cd ../benchmarks/model_checking/Java
@@ -10,7 +10,7 @@ build:
 OUTPUT ?= runtimes.txt
 DEPENDENCIES ?= :btypes.jar
 STRATEGY=mixed
-THREADS=1
+THREADS=8
 CACHING=false
 
 %.class : %.java
-- 
GitLab