Adding another version of DPOR implementation that considers only the end states...
[jpf-core.git] / examples /
drwxr-xr-x   ..
-rw-r--r-- 4105 BoundedBuffer.java
-rw-r--r-- 76 BoundedBuffer.jpf
-rw-r--r-- 366 Choice.groovy
-rw-r--r-- 654 ClassDemo.java
-rw-r--r-- 1326 ClassLoaderTest.java
-rw-r--r-- 1123 ConcurrentCount.java
-rw-r--r-- 55 ConcurrentCount.jpf
-rw-r--r-- 1695 DiningPhil.java
-rw-r--r-- 67 DiningPhil.jpf
-rw-r--r-- 986 Empty.groovy
-rw-r--r-- 605 Example.groovy
-rw-r--r-- 90 Example.jpf
-rw-r--r-- 389 Generic.java
-rw-r--r-- 23 HelloWorld.groovy
-rw-r--r-- 113 HelloWorld.java
-rw-r--r-- 1129 NumericValueCheck.java
-rw-r--r-- 226 NumericValueCheck.jpf
-rw-r--r-- 1666 Permutation.groovy
-rw-r--r-- 731 Racer.java
-rw-r--r-- 115 Racer.jpf
-rw-r--r-- 272 Rand.groovy
-rw-r--r-- 529 Rand.java
-rw-r--r-- 88 Rand.jpf
-rw-r--r-- 550 RandComplex.groovy
-rw-r--r-- 95 RandComplex.jpf
-rw-r--r-- 7406 Reflection.java
-rw-r--r-- 431 ReflectionTest.java
-rw-r--r-- 630 SimpleClassLoader.java
-rw-r--r-- 1224 StopWatch.java
-rw-r--r-- 57 StopWatch.jpf
-rw-r--r-- 1559 SunClassLoader.java
-rw-r--r-- 141 TestExample-coverage.jpf
-rw-r--r-- 1661 TestExample.java
-rw-r--r-- 10586 TypeVariableImpl.java
-rwxr-xr-x 93 run.sh
-rw-r--r-- 980 test.groovy
-rw-r--r-- 87 test.jpf
-rw-r--r-- 1112 teststatic.groovy