package scuba.test.driver;

public class Driver {

	public static void main(String[] args) {
		// testing randomly
		scuba.test.testcase.virtualcall.Test.test();
		// testing conjunction and disjunction of cst and container
		scuba.test.testcase.virtualcall.Test.test();
		// test intra-proc
		scuba.test.testcase.intra.Test.test();
	}

}

@@ -256,32 +256,109 @@
 ll.Test.test();%0A
+%09%09// testing container%0A%09%09scuba.test.testcase.container.Test.testContainer();%0A
 %09%09// test intra-

update driver