Path	Lines of Code
src/test/kotlin/org/arend/ArendTestBase.kt	250
src/test/kotlin/org/arend/ArendTestCase.kt	7
src/test/kotlin/org/arend/FileTree.kt	152
src/test/kotlin/org/arend/ParsingTest.kt	12
src/test/kotlin/org/arend/actions/ArendExtendWordSelectionTest.kt	20
src/test/kotlin/org/arend/codeInsight/ArendBracesTest.kt	16
src/test/kotlin/org/arend/codeInsight/ArendTypedHandlerTest.kt	24
src/test/kotlin/org/arend/codeInsight/completion/ArendCompletionTestBase.kt	161
src/test/kotlin/org/arend/codeInsight/completion/ArendFieldCompletionTest.kt	110
src/test/kotlin/org/arend/codeInsight/completion/ArendFilteredScope.kt	110
src/test/kotlin/org/arend/codeInsight/completion/ArendKeywordCompletionTest.kt	545
src/test/kotlin/org/arend/codeInsight/completion/ArendLiveTemplateCompletionTest.kt	26
src/test/kotlin/org/arend/codeInsight/completion/ArendModuleCompletionTest.kt	44
src/test/kotlin/org/arend/codeInsight/completion/ArendPreludeCompletionTest.kt	5
src/test/kotlin/org/arend/codeInsight/parameterInfo/ArendParameterInfoTest.kt	290
src/test/kotlin/org/arend/codeInsight/parameterInfo/MockParameterInfoUIContext.kt	22
src/test/kotlin/org/arend/commenter/ArendCommenterTest.kt	21
src/test/kotlin/org/arend/formatting/ArendDocCommentNewLineTest.kt	76
src/test/kotlin/org/arend/formatting/ArendDocCommentReformatTest.kt	38
src/test/kotlin/org/arend/formatting/ArendFormatterTestBase.kt	17
src/test/kotlin/org/arend/formatting/ArendNewlineTest.kt	176
src/test/kotlin/org/arend/formatting/ArendReformatTest.kt	100
src/test/kotlin/org/arend/hierarchy/ArendClassHierarchyTest.kt	32
src/test/kotlin/org/arend/inspection/ArendInspectionSuppressorTest.kt	18
src/test/kotlin/org/arend/inspection/InspectionUtilTest.kt	21
src/test/kotlin/org/arend/inspection/NameShadowingInspectionTest.kt	20
src/test/kotlin/org/arend/inspection/PartiallyInfixOperatorPrefixFormInspectionTest.kt	21
src/test/kotlin/org/arend/inspection/RedundantParameterInspectionTest.kt	15
src/test/kotlin/org/arend/inspection/RedundantParensInspectionTest.kt	258
src/test/kotlin/org/arend/inspection/UnresolvedArendPatternInspectionTest.kt	49
src/test/kotlin/org/arend/intention/AddClarifyingParensIntentionTest.kt	144
src/test/kotlin/org/arend/intention/BaseIntentionTest.kt	15
src/test/kotlin/org/arend/intention/ChangeArgumentExplicitnessIntentionTest.kt	993
src/test/kotlin/org/arend/intention/CreateLetBindingIntentionTest.kt	68
src/test/kotlin/org/arend/intention/ExtractExpressionToFunctionIntentionTest.kt	130
src/test/kotlin/org/arend/intention/GenerateFunctionFromGoalIntentionTest.kt	182
src/test/kotlin/org/arend/intention/GenerateMissingClausesIntentionTest.kt	33
src/test/kotlin/org/arend/intention/OptimizeImportsTest.kt	1152
src/test/kotlin/org/arend/intention/RemoveClarifyingParensIntentionTest.kt	129
src/test/kotlin/org/arend/intention/ReplaceBracketsIntentionTest.kt	23
src/test/kotlin/org/arend/intention/ReplaceWithShortNameIntentionTest.kt	122
src/test/kotlin/org/arend/intention/SplitAtomPatternIntentionTest.kt	511
src/test/kotlin/org/arend/intention/SwapInfixOperatorArgumentsIntentionTest.kt	110
src/test/kotlin/org/arend/intention/WrapInGoalIntentionTest.kt	33
src/test/kotlin/org/arend/navigation/ArendFileNavigationContributorTest.kt	16
src/test/kotlin/org/arend/navigation/ArendNavBarExtensionTest.kt	60
src/test/kotlin/org/arend/navigation/ArendSymbolNavigationContributorTest.kt	25
src/test/kotlin/org/arend/project/ArendProjectViewTest.kt	67
src/test/kotlin/org/arend/psi/ArendFileModificationCountTest.kt	26
src/test/kotlin/org/arend/quickfix/AddRecursiveInstanceArgumentQuickFixTest.kt	32
src/test/kotlin/org/arend/quickfix/AddReturnKeywordQuickFixTest.kt	16
src/test/kotlin/org/arend/quickfix/AddTruncatedUniverseQuickFixTest.kt	46
src/test/kotlin/org/arend/quickfix/DataUniverseQuickFixTest.kt	11
src/test/kotlin/org/arend/quickfix/ElimSubstQuickFixTest.kt	141
src/test/kotlin/org/arend/quickfix/ExpectedConstructorQuickFixTest.kt	399
src/test/kotlin/org/arend/quickfix/ExplicitnessQuickFixTest.kt	36
src/test/kotlin/org/arend/quickfix/FieldDependencyQuickFixTest.kt	20
src/test/kotlin/org/arend/quickfix/FunctionArgInferenceQuickFixTest.kt	140
src/test/kotlin/org/arend/quickfix/GoalFillingQuickFixTest.kt	89
src/test/kotlin/org/arend/quickfix/ImplementFieldsQuickFixTest.kt	299
src/test/kotlin/org/arend/quickfix/ImplicitLambdaQuickFixTest.kt	27
src/test/kotlin/org/arend/quickfix/ImportQuickFixTest.kt	169
src/test/kotlin/org/arend/quickfix/ImpossibleEliminationQuickFixTest.kt	118
src/test/kotlin/org/arend/quickfix/InstanceInferenceQuickFixTest.kt	218
src/test/kotlin/org/arend/quickfix/InteractiveGoalSolverQuickFixTest.kt	65
src/test/kotlin/org/arend/quickfix/LambdaInferenceQuickFixTest.kt	18
src/test/kotlin/org/arend/quickfix/MissingClausesQuickFixTest.kt	731
src/test/kotlin/org/arend/quickfix/PatternQuickFixTest.kt	338
src/test/kotlin/org/arend/quickfix/QuickFixTestBase.kt	70
src/test/kotlin/org/arend/quickfix/RemoveClassifyingFieldQuickFixTest.kt	10
src/test/kotlin/org/arend/quickfix/RemoveIgnoredLevelsQuickFixTest.kt	10
src/test/kotlin/org/arend/quickfix/RemoveLevelQuickFixTest.kt	12
src/test/kotlin/org/arend/quickfix/RemoveNoClassifyingKeywordQuickFixTest.kt	10
src/test/kotlin/org/arend/quickfix/RemoveStrictKeywordQuickFixTest.kt	10
src/test/kotlin/org/arend/quickfix/RemoveTruncatedKeywordQuickFixTest.kt	22
src/test/kotlin/org/arend/quickfix/RemoveTruncatedUniverseQuickFixTest.kt	10
src/test/kotlin/org/arend/quickfix/RemoveUseLevelQuickFixTest.kt	25
src/test/kotlin/org/arend/quickfix/ReplaceDefKindQuickFix.kt	53
src/test/kotlin/org/arend/quickfix/ReplaceMetaWithResultTest.kt	114
src/test/kotlin/org/arend/quickfix/ResolveRefQuickFixTest.kt	777
src/test/kotlin/org/arend/quickfix/SquashedDataQuickFixTest.kt	100
src/test/kotlin/org/arend/quickfix/TruncatedDataQuickFixTest.kt	12
src/test/kotlin/org/arend/refactoring/ArendChangeSignatureTest.kt	590
src/test/kotlin/org/arend/refactoring/ArendChangeSignatureTestBase.kt	55
src/test/kotlin/org/arend/refactoring/ArendMoveMemberTest.kt	1527
src/test/kotlin/org/arend/refactoring/ArendMoveTestBase.kt	86
src/test/kotlin/org/arend/refactoring/RenameTest.kt	478
src/test/kotlin/org/arend/refactoring/SubExprTest.kt	134
src/test/kotlin/org/arend/search/ArendProofSearchInsertTest.kt	25
src/test/kotlin/org/arend/search/ArendProofSearchTest.kt	132
src/test/kotlin/org/arend/search/ArendReferenceSearchTest.kt	39
src/test/kotlin/org/arend/search/proof/ParsingTest.kt	39
src/test/kotlin/org/arend/toolwindow/ArendRevealingTest.kt	153
src/test/kotlin/org/arend/tracer/ArendSuspendContextTest.kt	93
src/test/kotlin/org/arend/tracer/ArendTraceEntriesTest.kt	47
src/test/kotlin/org/arend/tracer/ArendTraceTestBase.kt	18
src/test/kotlin/org/arend/util/ArendBinOpUtilTest.kt	52
src/test/kotlin/org/arend/yaml/YAMLFileTest.kt	84
src/test/resources/org/arend/arend-lib/arend.yaml	1
src/test/resources/org/arend/yaml/arend.yaml	4