GitHub - NickF0211/precondition_sys

This is a temporary github repo for the human-guided precondition synthesis.

To launch the tool, please run python3 precondition_sys.py --sourcefile=[input file] --assert_wrapper=[target function]

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
example		example
README.md		README.md
SMTInstrumentator.py		SMTInstrumentator.py
cbmc_cex.py		cbmc_cex.py
converter.py		converter.py
expression_simplifier.py		expression_simplifier.py
grammar.txt		grammar.txt
parsertest.py		parsertest.py
precondition_sys.py		precondition_sys.py
rosette_syn_builder.py		rosette_syn_builder.py
sygus_generator.py		sygus_generator.py

Navigation Menu