Skip to content
Snippets Groups Projects
Commit 6f2d331e authored by Fabian Vu's avatar Fabian Vu
Browse files

Update JS Makefile for benchmark

parent a5da5b2a
No related branches found
No related tags found
No related merge requests found
Pipeline #144808 failed
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment