Package daikon.test.diff
Class PrintDifferingInvariantsVisitorTester
- Object
-
- PrintDifferingInvariantsVisitorTester
-
public class PrintDifferingInvariantsVisitorTester extends Object
-
-
Constructor Summary
Constructors Constructor Description PrintDifferingInvariantsVisitorTester()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static void
setUpClass()
prepare for testsvoid
testShouldPrint()
-
-
-
Constructor Detail
-
PrintDifferingInvariantsVisitorTester
public PrintDifferingInvariantsVisitorTester()
-
-
Method Detail
-
setUpClass
public static void setUpClass()
prepare for tests
-
testShouldPrint
public void testShouldPrint() throws Exception
- Throws:
Exception
-
-