Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | AssumptionTest.java | 4617 | logstatsplain |
-rw-r--r-- | AssumptionViolatedExceptionTest.java | 1765 | logstatsplain |
-rw-r--r-- | ExperimentalTests.java | 1424 | logstatsplain |
-rw-r--r-- | MatcherTest.java | 1463 | logstatsplain |
d--------- | categories | 108 | logstatsplain |
d--------- | max | 146 | logstatsplain |
d--------- | parallel | 101 | logstatsplain |
d--------- | results | 103 | logstatsplain |
d--------- | rules | 765 | logstatsplain |
d--------- | theories | 252 | logstatsplain |