From a38973a07b770af81af123ec14bc3c6eda1e3e30 Mon Sep 17 00:00:00 2001
From: Chris <Christopher.Happe@uni-duesseldorf.de>
Date: Thu, 18 Feb 2021 12:16:38 +0100
Subject: [PATCH] Update timeout in makefiles + missing cases

---
 benchmarks/ProB/Makefile              | 4 ++--
 benchmarks/Python_Primitives/Makefile | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/benchmarks/ProB/Makefile b/benchmarks/ProB/Makefile
index 9d870a9e9..e0a865d7c 100644
--- a/benchmarks/ProB/Makefile
+++ b/benchmarks/ProB/Makefile
@@ -2,13 +2,13 @@
 
 .PHONY: all clean
 
-all: Counter10000 CAN_BUS_tlc_exec LiftExec scheduler_deterministic_exec Sieve Train_1_beebook_deterministic_exec
+all: Counter10000 CAN_BUS_tlc_exec Cruise_finite1_deterministic_exec LiftExec scheduler_deterministic_exec Sieve Train_1_beebook_deterministic_exec TrafficLightExec sort_m2_data1000_exec
 
 PROBCLI=./probcli.sh
 OUTPUT ?= runtimes.txt
 
 % :
-	gtime -f "%C %E %M" -ao $(OUTPUT) $(PROBCLI) $@.mch -init -execute 1 -noass -noinv -nogoal -p COMPRESSION TRUE
+	timeout 20m /usr/bin/time -f "%C %E %M" -ao $(OUTPUT) $(PROBCLI) $@.mch -init -execute 1 -noass -noinv -nogoal -p COMPRESSION TRUE
 
 clean:
 	rm *.prob
diff --git a/benchmarks/Python_Primitives/Makefile b/benchmarks/Python_Primitives/Makefile
index 5783809b7..0a6543d75 100644
--- a/benchmarks/Python_Primitives/Makefile
+++ b/benchmarks/Python_Primitives/Makefile
@@ -9,4 +9,4 @@ OUTPUT ?= runtimes.txt
 
 % : export PYTHONPATH = $(BTYPESPYTHON)
 % :
-	/usr/bin/time -f "%C %E %M" -ao $(OUTPUT) pypy3 $@.py
+	timeout 20m /usr/bin/time -f "%C %E %M" -ao $(OUTPUT) pypy3 $@.py
-- 
GitLab