public static void testDriver(int length) {
BankAccount b = new BankAccount(0);
for (int i = 0; i < length; i++) {
Verify.beginAtomic();
// switch (Verify.random(1)){
switch (flag(true)) {
case 0:
b.deposit(10);
break;
case 1:
b.withdraw(1);
break;
}
Verify.endAtomic();
}
}
public static void testDriver(int length) {
Stack s = new Stack();
System.out.println("before loop");
for (int i = 0; i < length; i++) {
Verify.beginAtomic();
switch (Verify.random(1)) {
case 0:
System.out.println(i + "0");
s.push(0);
break;
case 1:
System.out.println(i + "1");
s.pop(0);
break;
}
Verify.endAtomic();
// Verify.ignoreIf(Debug.matchAbstractState(s));
}
}
public static void testDriver(int length) {
BST t = new BST();
for (int i = 0; i < length; i++) {
Verify.beginAtomic();
switch (Verify.random(1)) {
case 0:
System.out.println("adding...");
t.add(0);
break;
case 1:
System.out.println("removing...");
t.remove(0);
break;
case 2:
System.out.println("finding...");
t.find(0);
break;
}
Verify.endAtomic();
Verify.ignoreIf(Subsumption.storeAndCheckSubsumption());
}
}