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]
NickF0211/precondition_sys
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|