Пример #1
0
 @Test
 public void ring() {
   assertTrue(
       ui.run(
           "verify",
           "-deadlock=potential -inputNPROCS_BOUND=8",
           "-inputN_BOUND=4",
           filename("ring.cvl")));
 }
Пример #2
0
 @Test
 public void wildcard() {
   assertTrue(
       ui.run(
           "verify",
           "-inputNPROCS=2 -showTransitions",
           "-enablePrintf=false",
           filename("wildcard.cvl")));
 }
Пример #3
0
 @Test
 public void blockAdder() {
   assertTrue(ui.run("verify", "-inputB=6", "-inputW=3", filename("blockAdder.cvl")));
 }
Пример #4
0
 @Test
 public void barrierBad() {
   assertFalse(ui.run("verify", "-min", "-inputB=4", filename("barrierBad.cvl")));
   assertFalse(ui.run("replay", "-id=0", filename("barrierBad.cvl")));
 }
Пример #5
0
 @Test
 public void barrier2() {
   assertTrue(ui.run("verify", "-inputB=4", filename("barrier2.cvl")));
 }
Пример #6
0
 @Test
 public void bank() {
   assertTrue(ui.run("verify", "-inputNUM_ACCOUNTS=3", filename("bank.cvl")));
 }
Пример #7
0
 @Test
 public void waitSelf() {
   assertFalse(ui.run("verify", filename("waitSelf.cvl")));
 }
Пример #8
0
 @Test
 public void locksGood() {
   assertTrue(ui.run("verify", filename("locksGood.cvl")));
 }
Пример #9
0
 @Test
 public void diningBad() {
   assertFalse(ui.run("verify", "-inputB=4", "-min", filename("diningBad.cvl")));
   assertFalse(ui.run("replay", filename("diningBad.cvl")));
 }
Пример #10
0
 @Test
 public void ring3Bad() {
   assertFalse(ui.run("verify -deadlock=potential", filename("ring3Bad.cvl")));
 }
Пример #11
0
 @Test
 public void ring3() {
   assertTrue(ui.run("verify -deadlock=potential", filename("ring3.cvl")));
 }
Пример #12
0
 @Test
 public void ring2Bad() {
   assertFalse(ui.run("verify", "-deadlock=potential -inputNPROCS=3", filename("ring2Bad.cvl")));
 }
Пример #13
0
 @Test
 public void mpiPthreadsMin() {
   assertFalse(ui.run("verify", "-min", filename("mpi-pthreads.cvl")));
 }
Пример #14
0
 @Test
 public void hybrid() {
   assertFalse(ui.run("verify", "-inputNPROCS=2", filename("hybrid.cvl")));
 }
Пример #15
0
 @Test
 public void dlqueue() {
   assertTrue(ui.run("verify", filename("dlqueue.cvl")));
 }
Пример #16
0
 @Test
 public void blockAdderBad() {
   assertFalse(ui.run("verify", "-inputB=6", "-inputW=3", "-min", filename("blockAdderBad.cvl")));
   assertFalse(ui.run("replay", filename("blockAdderBad.cvl")));
 }
Пример #17
0
 @Test
 public void dining() {
   assertTrue(ui.run("verify", "-inputBOUND=4 -showTransitions=false", filename("dining.cvl")));
 }
Пример #18
0
 @Test
 public void wildcardBad() {
   assertFalse(ui.run("verify", "-enablePrintf=false", filename("wildcardBad.c")));
   ui.run("replay", filename("wildcardBad.c"));
 }
Пример #19
0
 @Test
 public void locksBad10() {
   assertFalse(ui.run("verify", filename("locksBad10.cvl")));
 }
Пример #20
0
 @Test
 public void adder() {
   assertTrue(ui.run("verify", "-inputB=5", filename("adder.cvl")));
 }
Пример #21
0
 @Test
 public void spawn() {
   assertTrue(ui.run("verify", "-inputN=10", filename("spawn.cvl")));
 }
Пример #22
0
 @Test
 public void spawnBad() {
   assertFalse(ui.run("verify", "-inputN=10", filename("spawnBad.cvl")));
 }