aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning/src/test/java/tools/refinery/store/reasoning/translator/typehierarchy
ModeNameSize
-rw-r--r--ConcreteSupertypeTest.java5346logstatsplainblame
-rw-r--r--InferredTypeTest.java1026logstatsplainblame
-rw-r--r--TypeAnalysisExampleHierarchyTest.java8739logstatsplainblame
-rw-r--r--TypeHierarchyPartialModelTest.java9976logstatsplainblame
-rw-r--r--TypeHierarchyTest.java6400logstatsplainblame
-rw-r--r--TypeHierarchyTester.java1956logstatsplainblame