Explorar o código

don't enable state reduction by default, it's too costly

Samuel Thibault %!s(int64=8) %!d(string=hai) anos
pai
achega
580d61dae1
Modificáronse 1 ficheiros con 1 adicións e 1 borrados
  1. 1 1
      tests/model-checking/Makefile

+ 1 - 1
tests/model-checking/Makefile

@@ -20,7 +20,7 @@ LDFLAGS=-lsimgrid
 
 MC_FLAGS=--cfg=model-check/reduction:none
 
-ifeq (1,1)
+ifeq (1,0)
 MC_FLAGS+=--cfg=contexts/factory:ucontext
 MC_FLAGS+=--cfg=model-check/sparse-checkpoint:yes
 MC_FLAGS+=--cfg=model-check/visited:1000