Path	Lines of Code
src/test/java/org/jetbrains/jetCheck/ExceptionTest.java	130
src/test/java/org/jetbrains/jetCheck/GeneratorTest.java	162
src/test/java/org/jetbrains/jetCheck/PropertyCheckerTestCase.java	31
src/test/java/org/jetbrains/jetCheck/RecursiveGeneratorTest.java	33
src/test/java/org/jetbrains/jetCheck/ShrinkTest.java	78
src/test/java/org/jetbrains/jetCheck/StatefulGeneratorTest.java	179
src/test/java/org/jetbrains/jetCheck/SubSequenceTest.java	50