path	# lines of code	# active days	days since first update	days since last update	# commits	# contributors	first updated	last updated	first contributor	last contributor
codecov.yml	7	1	881	881	2	1	2019-12-16	2019-12-16	korosuke613613@gmail.com	korosuke613613@gmail.com
src/main/java/workspace/UsePict.java	93	2	1425	1421	3	2	2018-06-20	2018-06-24	korosuke613613@gmail.com	korosuke613@users.noreply.github.com
src/main/java/workspace/HelloVDMJ4.java	73	4	1496	1421	4	2	2018-04-10	2018-06-24	korosuke613613@gmail.com	korosuke613@users.noreply.github.com
src/main/java/workspace/HelloZ3.java	130	4	1496	1097	4	2	2018-04-10	2019-05-14	korosuke613613@gmail.com	korosuke613@users.noreply.github.com
src/main/java/workspace/Main.java	65	2	1496	1493	2	2	2018-04-10	2018-04-13	korosuke613613@gmail.com	korosuke613@users.noreply.github.com
src/main/java/workspace/Hello2018.java	13	2	1496	1493	2	2	2018-04-10	2018-04-13	korosuke613613@gmail.com	korosuke613@users.noreply.github.com
src/main/java/workspace/ArrayListTest.java	14	2	1496	1493	2	2	2018-04-10	2018-04-13	korosuke613613@gmail.com	korosuke613@users.noreply.github.com
src/main/kotlin/com/github/korosuke613/bwdm/UnitMain.kt	21	2	882	881	5	2	2019-12-15	2019-12-16	korosuke613613@gmail.com	korosuke613@users.noreply.github.com
src/main/kotlin/com/github/korosuke613/bwdm/boundaryValueAnalysisUnit/BoundaryValueAnalyzer.kt	203	5	891	881	15	3	2019-12-06	2019-12-16	korosuke613@users.noreply.github.com	korosuke613@users.noreply.github.com
src/main/kotlin/com/github/korosuke613/bwdm/boundaryValueAnalysisUnit/BvaUnitMain.kt	21	5	891	881	9	2	2019-12-06	2019-12-16	korosuke613@users.noreply.github.com	korosuke613@users.noreply.github.com
src/main/kotlin/com/github/korosuke613/bwdm/boundaryValueAnalysisUnit/ExpectedOutputDataGenerator.kt	134	4	891	881	13	3	2019-12-06	2019-12-16	korosuke613@users.noreply.github.com	korosuke613@users.noreply.github.com
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/Definition.kt	70	1	881	881	4	2	2019-12-16	2019-12-16	korosuke613@users.noreply.github.com	korosuke613613@gmail.com
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/ConditionAndReturnValueList.kt	39	1	891	891	2	2	2019-12-06	2019-12-06	korosuke613@users.noreply.github.com	korosuke613613@gmail.com
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/Node.kt	15	1	891	891	5	3	2019-12-06	2019-12-06	korosuke613@users.noreply.github.com	korosuke613613@gmail.com
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/IfElseExprSyntaxTree.kt	70	2	891	881	6	2	2019-12-06	2019-12-16	korosuke613@users.noreply.github.com	korosuke613613@gmail.com
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/ReturnNode.kt	9	1	891	891	2	2	2019-12-06	2019-12-06	korosuke613@users.noreply.github.com	korosuke613613@gmail.com
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/IfNode.kt	11	1	891	891	2	2	2019-12-06	2019-12-06	korosuke613@users.noreply.github.com	korosuke613613@gmail.com
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/NotIfNodeException.kt	2	1	881	881	2	2	2019-12-16	2019-12-16	korosuke613@users.noreply.github.com	korosuke613613@gmail.com
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/FunctionDefinition.kt	58	5	888	789	13	2	2019-12-09	2020-03-17	korosuke613613@gmail.com	korosuke613@users.noreply.github.com
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/OperationDefinition.kt	76	1	881	881	9	2	2019-12-16	2019-12-16	korosuke613@users.noreply.github.com	korosuke613613@gmail.com
src/main/kotlin/com/github/korosuke613/bwdm/informationStore/InformationExtractor.kt	69	6	891	789	18	2	2019-12-06	2020-03-17	korosuke613@users.noreply.github.com	korosuke613@users.noreply.github.com
src/main/kotlin/com/github/korosuke613/bwdm/BwdmMain.kt	194	5	891	881	13	2	2019-12-06	2019-12-16	korosuke613@users.noreply.github.com	korosuke613@users.noreply.github.com
src/main/kotlin/com/github/korosuke613/bwdm/symbolicExecutionUnit/SeUnitMain.kt	11	4	891	881	8	2	2019-12-06	2019-12-16	korosuke613@users.noreply.github.com	korosuke613@users.noreply.github.com
src/main/kotlin/com/github/korosuke613/bwdm/symbolicExecutionUnit/SymbolicExecutioner.kt	139	4	891	881	10	2	2019-12-06	2019-12-16	korosuke613@users.noreply.github.com	korosuke613@users.noreply.github.com
src/main/kotlin/com/github/korosuke613/bwdm/Anaryzer.kt	6	2	882	881	5	2	2019-12-15	2019-12-16	korosuke613613@gmail.com	korosuke613@users.noreply.github.com
src/main/kotlin/com/github/korosuke613/bwdm/domainAnalysis/DomainAnalyser.kt	265	3	891	881	10	3	2019-12-06	2019-12-16	korosuke613@users.noreply.github.com	korosuke613@users.noreply.github.com
src/main/kotlin/com/github/korosuke613/bwdm/domainAnalysis/Factor.kt	7	1	891	891	5	3	2019-12-06	2019-12-06	korosuke613@users.noreply.github.com	korosuke613613@gmail.com
src/main/kotlin/com/github/korosuke613/bwdm/domainAnalysis/Point.kt	14	1	891	891	2	2	2019-12-06	2019-12-06	korosuke613@users.noreply.github.com	korosuke613613@gmail.com
src/main/kotlin/com/github/korosuke613/bwdm/Util.kt	45	3	891	881	4	2	2019-12-06	2019-12-16	korosuke613@users.noreply.github.com	korosuke613@users.noreply.github.com
src/main/kotlin/com/github/korosuke613/bwdm/Shell.kt	36	1	891	891	5	3	2019-12-06	2019-12-06	korosuke613@users.noreply.github.com	korosuke613613@gmail.com