Path	Lines of Code
coderules/solutions/jetbrains.mps.logic.test/build.gradle	9
reactor/Test/pom.xml	74
reactor/Test/src/jetbrains/mps/unification/TermWalker.kt	74
reactor/Test/src/jetbrains/mps/unification/test/MockTerm.java	235
reactor/Test/src/jetbrains/mps/unification/test/MockTermsParser.java	231
reactor/Test/src/program/MockConstraint.kt	13
reactor/Test/src/program/MockProgram.kt	118
reactor/Test/src/solver/EqualsSolver.kt	112
reactor/Test/test/AssertHelper.kt	4
reactor/Test/test/ExpressionSolver.kt	101
reactor/Test/test/LogicalHelper.kt	45
reactor/Test/test/RulesHelper.kt	122
reactor/Test/test/TestController.kt	989
reactor/Test/test/TestIndexedTermTrie.kt	108
reactor/Test/test/TestLogical.kt	64
reactor/Test/test/TestLogicalObserver.kt	22
reactor/Test/test/TestProgram.kt	157
reactor/Test/test/TestProgramBuilder.kt	58
reactor/Test/test/TestRuleIndex.kt	131
reactor/Test/test/TestRuleMatcher.kt	899
reactor/Test/test/TestStoreAwareJournal.kt	164
reactor/Test/test/TestTermTrie.kt	255
reactor/Test/test/jetbrains/mps/unification/test/AssertAll.java	10
reactor/Test/test/jetbrains/mps/unification/test/AssertStructurallyEquivalent.java	102
reactor/Test/test/jetbrains/mps/unification/test/AssertUnification.java	110
reactor/Test/test/jetbrains/mps/unification/test/ParserTests.java	148
reactor/Test/test/jetbrains/mps/unification/test/SolverTests.java	557