Path	Lines of Code
src/test/java/org/arend/ArendTestCase.java	91
src/test/java/org/arend/ExpressionFactory.java	148
src/test/java/org/arend/Matchers.java	414
src/test/java/org/arend/classes/ClassParametersTest.java	357
src/test/java/org/arend/classes/DefaultImplTest.java	369
src/test/java/org/arend/classes/DynamicTest.java	775
src/test/java/org/arend/classes/ExtensionsTest.java	425
src/test/java/org/arend/classes/ImplementTest.java	748
src/test/java/org/arend/classes/LocalThisTest.java	303
src/test/java/org/arend/classes/NewInstanceExtensionTest.java	77
src/test/java/org/arend/classes/OverrideTest.java	349
src/test/java/org/arend/classes/RecordsTest.java	401
src/test/java/org/arend/classes/SuperClassImplementTest.java	132
src/test/java/org/arend/classes/ThisTest.java	155
src/test/java/org/arend/library/CachingTest.java	168
src/test/java/org/arend/library/LibraryLoadingTest.java	57
src/test/java/org/arend/library/LibraryTestCase.java	10
src/test/java/org/arend/library/MemoryBinarySource.java	47
src/test/java/org/arend/library/MemoryLibrary.java	64
src/test/java/org/arend/library/MemoryRawSource.java	35
src/test/java/org/arend/library/NameResolutionOnLoadTest.java	77
src/test/java/org/arend/naming/AccessModifiersTest.java	391
src/test/java/org/arend/naming/AliasTest.java	615
src/test/java/org/arend/naming/ClassesResolveTest.java	269
src/test/java/org/arend/naming/ConcreteComparatorTest.java	34
src/test/java/org/arend/naming/DefinableMetaTest.java	28
src/test/java/org/arend/naming/FieldsTest.java	146
src/test/java/org/arend/naming/MetaResolverTest.java	81
src/test/java/org/arend/naming/NameResolverTest.java	606
src/test/java/org/arend/naming/NameResolverTestCase.java	119
src/test/java/org/arend/naming/ParserTest.java	457
src/test/java/org/arend/naming/ParserTestCase.java	59
src/test/java/org/arend/naming/PatternTest.java	172
src/test/java/org/arend/naming/PrettyPrintingParserTest.java	218
src/test/java/org/arend/term/FinTest.java	297
src/test/java/org/arend/term/SigmaProjTest.java	12
src/test/java/org/arend/term/expr/GetTypeTest.java	185
src/test/java/org/arend/term/expr/visitor/BuiltinNormalizationTest.java	136
src/test/java/org/arend/term/expr/visitor/ComparisonTest.java	198
src/test/java/org/arend/term/expr/visitor/MinimizationTest.java	95
src/test/java/org/arend/term/expr/visitor/NormalizationTest.java	346
src/test/java/org/arend/term/expr/visitor/PrettyPrintingTest.java	320
src/test/java/org/arend/term/expr/visitor/SubstTest.java	96
src/test/java/org/arend/typechecking/AppHoleTest.java	223
src/test/java/org/arend/typechecking/CoerceTest.java	382
src/test/java/org/arend/typechecking/EtaEquivalenceTest.java	169
src/test/java/org/arend/typechecking/EvaluationTest.java	60
src/test/java/org/arend/typechecking/ExpressionTest.java	181
src/test/java/org/arend/typechecking/InfixPostfixTest.java	188
src/test/java/org/arend/typechecking/PathsTest.java	91
src/test/java/org/arend/typechecking/PreludeTest.java	108
src/test/java/org/arend/typechecking/RecursiveTest.java	212
src/test/java/org/arend/typechecking/StrictPropTest.java	83
src/test/java/org/arend/typechecking/TestLocalErrorReporter.java	26
src/test/java/org/arend/typechecking/TruncationsTest.java	91
src/test/java/org/arend/typechecking/TypeCheckingTest.java	262
src/test/java/org/arend/typechecking/TypeCheckingTestCase.java	131
src/test/java/org/arend/typechecking/UseLevelTest.java	418
src/test/java/org/arend/typechecking/VarsTest.java	844
src/test/java/org/arend/typechecking/constructions/Application.java	28
src/test/java/org/arend/typechecking/constructions/ArrayTest.java	670
src/test/java/org/arend/typechecking/constructions/BoxTest.java	62
src/test/java/org/arend/typechecking/constructions/CaseTest.java	289
src/test/java/org/arend/typechecking/constructions/DefCallTest.java	672
src/test/java/org/arend/typechecking/constructions/IntTest.java	36
src/test/java/org/arend/typechecking/constructions/Lambda.java	117
src/test/java/org/arend/typechecking/constructions/LetTest.java	68
src/test/java/org/arend/typechecking/constructions/Pi.java	51
src/test/java/org/arend/typechecking/constructions/SigmaTest.java	86
src/test/java/org/arend/typechecking/constructions/Typed.java	42
src/test/java/org/arend/typechecking/constructions/Universe.java	113
src/test/java/org/arend/typechecking/constructions/UniverseLevels.java	71
src/test/java/org/arend/typechecking/copatternmatching/Functions.java	75
src/test/java/org/arend/typechecking/definition/AxiomTest.java	88
src/test/java/org/arend/typechecking/definition/ClassFieldPropertyTest.java	108
src/test/java/org/arend/typechecking/definition/CoClauseFunctionTest.java	333
src/test/java/org/arend/typechecking/definition/ConstructorTest.java	256
src/test/java/org/arend/typechecking/definition/DataIndicesTest.java	73
src/test/java/org/arend/typechecking/definition/DataTest.java	327
src/test/java/org/arend/typechecking/definition/DefinableMetaTest.java	166
src/test/java/org/arend/typechecking/definition/DefinitionTest.java	297
src/test/java/org/arend/typechecking/definition/HITsTest.java	211
src/test/java/org/arend/typechecking/definition/LemmaTest.java	98
src/test/java/org/arend/typechecking/definition/SFuncTest.java	294
src/test/java/org/arend/typechecking/definition/TypeTest.java	260
src/test/java/org/arend/typechecking/implicitargs/DeferredTest.java	33
src/test/java/org/arend/typechecking/implicitargs/ImplicitArgumentsTest.java	341
src/test/java/org/arend/typechecking/implicitargs/InferenceTest.java	121
src/test/java/org/arend/typechecking/levels/ClassLevelsTest.java	265
src/test/java/org/arend/typechecking/levels/DataPolyTest.java	136
src/test/java/org/arend/typechecking/levels/FunctionPolyTest.java	89
src/test/java/org/arend/typechecking/levels/InferLevelTest.java	397
src/test/java/org/arend/typechecking/levels/LevelParametersTest.java	269
src/test/java/org/arend/typechecking/levels/LevelsDefinitionTest.java	108
src/test/java/org/arend/typechecking/patternmatching/AsPatternsTest.java	61
src/test/java/org/arend/typechecking/patternmatching/ConditionsTest.java	399
src/test/java/org/arend/typechecking/patternmatching/CoverageTest.java	241
src/test/java/org/arend/typechecking/patternmatching/DisjointConstructorsTest.java	161
src/test/java/org/arend/typechecking/patternmatching/ElimTest.java	459
src/test/java/org/arend/typechecking/patternmatching/IdpTest.java	342
src/test/java/org/arend/typechecking/patternmatching/IntervalTest.java	114
src/test/java/org/arend/typechecking/patternmatching/LamPatternTest.java	143
src/test/java/org/arend/typechecking/patternmatching/PatternTest.java	594
src/test/java/org/arend/typechecking/patternmatching/ProductsTest.java	138
src/test/java/org/arend/typechecking/patternmatching/TruncatedElimTest.java	169
src/test/java/org/arend/typechecking/subexpr/CorrespondedSubDefTest.java	206
src/test/java/org/arend/typechecking/subexpr/CorrespondedSubExprTest.java	396
src/test/java/org/arend/typechecking/subexpr/FindBindingTest.java	114
src/test/java/org/arend/typechecking/subexpr/SubExprBugsTest.java	115
src/test/java/org/arend/typechecking/termination/TerminationCheckTest.java	341
src/test/java/org/arend/typechecking/termination/TestCallGraph.java	21
src/test/java/org/arend/typechecking/termination/TestCallMatrix.java	67
src/test/java/org/arend/typechecking/termination/TestVertex.java	13
src/test/java/org/arend/typechecking/typeclass/RecursiveInstances.java	141
src/test/java/org/arend/typechecking/typeclass/ReverseInference.java	33
src/test/java/org/arend/typechecking/typeclass/TypeClassesClassifiers.java	57
src/test/java/org/arend/typechecking/typeclass/TypeClassesGlobalTest.java	441
src/test/java/org/arend/typechecking/typeclass/TypeClassesLocal.java	278
src/test/java/org/arend/typechecking/typeclass/TypeClassesNamespaces.java	91
src/test/java/org/arend/typechecking/typeclass/TypeClassesTypes.java	63
