From f48ca6bde2cd2940e0e0051e36953717470f269a Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Tue, 23 Feb 2021 18:55:32 +0100 Subject: Batch parallelism --- unit-tests/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/unit-tests/Makefile b/unit-tests/Makefile index 4820887..db28f4a 100644 --- a/unit-tests/Makefile +++ b/unit-tests/Makefile @@ -45,7 +45,7 @@ logs: $(OBJ) parallel: Tests_zchaff_tactics.vio Tests_verit_tactics.vio Tests_lfsc_tactics.vio - coqtop -schedule-vio-checking 3 Tests_zchaff_tactics Tests_verit_tactics Tests_lfsc_tactics + coqc -schedule-vio-checking 3 Tests_zchaff_tactics Tests_verit_tactics Tests_lfsc_tactics clean: cleanvo -- cgit