OutGen-master.zip （88个子文件） 
OutGen-master 
README.md 2KB exampleTree file2.pre.c.L12.cbmc.c.clean.z3 11KB file2.pre.c 257B file2.pre.c.L12.cbmc.c 232B backend tester TesterMainProOutput.py 4KB TesterMain.py 2KB createTest.py 1KB Tester.py 1KB __init__.py 0B TesterMainProOutputTcas.py 5KB TesterMainProTcas.py 4KB TesterMainPro.py 3KB Mutator.py 2KB DynamicTester.py 931B DynamicTesterWPath.py 573B connectors __init__.py 0B extractPathsCBMC.sh 4KB CBMCConnector.py 979B __init__.py 0B support functions.py 2KB __init__.py 0B compareSingle.py 13KB config.ini 435B evaluators __init__.py 0B gini.py 806B UniformComparator.py 4KB hypervolume.py 226B visitors cVisitors RemoveVisitor.py 494B FunctionsVisitor.py 310B ScanfVisitor.py 1KB LocalVisitor.py 922B instrumentSingle.py 1KB __init__.py 0B ContextVisitor.py 939B GlobalVisitor.py 716B AssertVisitor.py 4KB BranchIdentifier.py 984B manipulateMain.py 2KB BlockCreatorElse.py 799B BlockCreator.py 687B OutputVisitor.py 2KB ReturnLineVisitor.py 2KB ReturnVisitor.py 440B manipulateFunc.py 3KB __init__.py 0B pyVisitors VisitorCleaner.py 6KB z3Visitor.py 696B __init__.py 0B astAl.py 1KB cleanGuards2.py 6KB CleanGuards.py 856B configuration __init__.py 0B Configuration.py 1KB tests tests_mutator.py~ 413B tests_tester.py~ 395B tests_mutatorTester.py~ 588B tests_VisitorCleaner.py~ 2KB CleanGuardsTest.py 218B run_tests.py~ 183B tests_cbmcConnector.py~ 496B tests_cleanGuards.py~ 493B tests_cbmcConnector.py 501B tests_randomInputGenTester.py 668B run_tests.py 175B generator RandomInputGenerator.py 752B InputGenerator.py 850B InputDrivenGenerator.py 8KB __init__.py 0B ConstraintInputGenerator.py 10KB BasicSolverGenerator.py 4KB OutputDrivenGenerator.py 11KB frontend examples OutGen.bash 1KB XORSample.bash 1KB preprocessing cleanMain.py 1KB getLines.py 305B preproGeneral.py 2KB prepro.py 1KB linepre.py 4KB generation outgen.py 692B xorsample.py 698B gen.py 2KB test preprocessing_prepro.bash 123B generation_gen.outget.bash 197B preprocessing_preproGeneral.bash 127B test.bash 220B preprocessing_getLines.bash 117B preprocessing_linepre.bash 158B execution set.inputs.py 3KB资源评论
weixin_38716081
- 粉丝: 3
- 资源: 943
