@Test public void ring() { assertTrue( ui.run( "verify", "-deadlock=potential -inputNPROCS_BOUND=8", "-inputN_BOUND=4", filename("ring.cvl"))); }
@Test public void wildcard() { assertTrue( ui.run( "verify", "-inputNPROCS=2 -showTransitions", "-enablePrintf=false", filename("wildcard.cvl"))); }
@Test public void blockAdder() { assertTrue(ui.run("verify", "-inputB=6", "-inputW=3", filename("blockAdder.cvl"))); }
@Test public void barrierBad() { assertFalse(ui.run("verify", "-min", "-inputB=4", filename("barrierBad.cvl"))); assertFalse(ui.run("replay", "-id=0", filename("barrierBad.cvl"))); }
@Test public void barrier2() { assertTrue(ui.run("verify", "-inputB=4", filename("barrier2.cvl"))); }
@Test public void bank() { assertTrue(ui.run("verify", "-inputNUM_ACCOUNTS=3", filename("bank.cvl"))); }
@Test public void waitSelf() { assertFalse(ui.run("verify", filename("waitSelf.cvl"))); }
@Test public void locksGood() { assertTrue(ui.run("verify", filename("locksGood.cvl"))); }
@Test public void diningBad() { assertFalse(ui.run("verify", "-inputB=4", "-min", filename("diningBad.cvl"))); assertFalse(ui.run("replay", filename("diningBad.cvl"))); }
@Test public void ring3Bad() { assertFalse(ui.run("verify -deadlock=potential", filename("ring3Bad.cvl"))); }
@Test public void ring3() { assertTrue(ui.run("verify -deadlock=potential", filename("ring3.cvl"))); }
@Test public void ring2Bad() { assertFalse(ui.run("verify", "-deadlock=potential -inputNPROCS=3", filename("ring2Bad.cvl"))); }
@Test public void mpiPthreadsMin() { assertFalse(ui.run("verify", "-min", filename("mpi-pthreads.cvl"))); }
@Test public void hybrid() { assertFalse(ui.run("verify", "-inputNPROCS=2", filename("hybrid.cvl"))); }
@Test public void dlqueue() { assertTrue(ui.run("verify", filename("dlqueue.cvl"))); }
@Test public void blockAdderBad() { assertFalse(ui.run("verify", "-inputB=6", "-inputW=3", "-min", filename("blockAdderBad.cvl"))); assertFalse(ui.run("replay", filename("blockAdderBad.cvl"))); }
@Test public void dining() { assertTrue(ui.run("verify", "-inputBOUND=4 -showTransitions=false", filename("dining.cvl"))); }
@Test public void wildcardBad() { assertFalse(ui.run("verify", "-enablePrintf=false", filename("wildcardBad.c"))); ui.run("replay", filename("wildcardBad.c")); }
@Test public void locksBad10() { assertFalse(ui.run("verify", filename("locksBad10.cvl"))); }
@Test public void adder() { assertTrue(ui.run("verify", "-inputB=5", filename("adder.cvl"))); }
@Test public void spawn() { assertTrue(ui.run("verify", "-inputN=10", filename("spawn.cvl"))); }
@Test public void spawnBad() { assertFalse(ui.run("verify", "-inputN=10", filename("spawnBad.cvl"))); }