Dat3M
Dat3M copied to clipboard
[BUG] Constant propagation
The following benchmark shows there is a problem with constant propagation
❯ java -jar dartagnan/target/dartagnan-3.0.0.jar cat/svcomp.cat ../sv-benchmarks/c/pthread-divine/ring_1w1r-2.c --method=assume --bound=2
FAIL
❯ java -jar dartagnan/target/dartagnan-3.0.0.jar cat/svcomp.cat ../sv-benchmarks/c/pthread-divine/ring_1w1r-2.c --method=assume --bound=2 --program.processing.constantPropagation=false
UNKNOWN
but I still could not identify where exactly is the problem.