Package apron
Class Test
java.lang.Object
apron.Test
Simple test for the Java Apron binding.
Run with: java -ea -esa apron.Test
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic void
Calling main performs a few API tests.static void
static void
testDomain
(Manager man) static Object
-
Constructor Details
-
Test
public Test()
-
-
Method Details
-
testSerialize
-
testDomain
- Throws:
ApronException
-
main
Calling main performs a few API tests. -
mainx
-