path	# lines of code
codecov.yml	7
src/main/java/workspace/UsePict.java	93
src/main/java/workspace/HelloVDMJ4.java	73
src/main/java/workspace/HelloZ3.java	130
src/main/java/workspace/Main.java	65
src/main/java/workspace/Hello2018.java	13
src/main/java/workspace/ArrayListTest.java	14
src/main/kotlin/com/github/korosuke613/bwdm/UnitMain.kt	21
src/main/kotlin/com/github/korosuke613/bwdm/boundaryValueAnalysisUnit/BoundaryValueAnalyzer.kt	203
src/main/kotlin/com/github/korosuke613/bwdm/boundaryValueAnalysisUnit/BvaUnitMain.kt	21
src/main/kotlin/com/github/korosuke613/bwdm/boundaryValueAnalysisUnit/ExpectedOutputDataGenerator.kt	134
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/Definition.kt	70
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/ConditionAndReturnValueList.kt	39
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/Node.kt	15
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/IfElseExprSyntaxTree.kt	70
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/ReturnNode.kt	9
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/IfNode.kt	11
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/NotIfNodeException.kt	2
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/FunctionDefinition.kt	58
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/OperationDefinition.kt	76
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/InformationExtractor.kt	69
src/main/kotlin/com/github/korosuke613/bwdm/BwdmMain.kt	194
src/main/kotlin/com/github/korosuke613/bwdm/symbolicExecutionUnit/SeUnitMain.kt	11
src/main/kotlin/com/github/korosuke613/bwdm/symbolicExecutionUnit/SymbolicExecutioner.kt	139
src/main/kotlin/com/github/korosuke613/bwdm/Anaryzer.kt	6
src/main/kotlin/com/github/korosuke613/bwdm/domainAnalysis/DomainAnalyser.kt	265
src/main/kotlin/com/github/korosuke613/bwdm/domainAnalysis/Factor.kt	7
src/main/kotlin/com/github/korosuke613/bwdm/domainAnalysis/Point.kt	14
src/main/kotlin/com/github/korosuke613/bwdm/Util.kt	45
src/main/kotlin/com/github/korosuke613/bwdm/Shell.kt	36