Add support for multiple user-defined specs

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.

MIT License

102 stars 14 forks source link

Add support for multiple user-defined specs #343

Closed nickroess closed 3 years ago

nickroess commented 3 years ago

This PR changes user_func_spec from an option to a list to allow multiple user specs to be provided at once. Not ready for merge yet, I'm going to add a test

fortunac commented 3 years ago

Looks good so far! Can't wait to see the tests.

nickroess commented 3 years ago

@codyroux @fortunac Okay, just updated to 1) Rename user-func-spec to user-func-specs including all the examples that use the flag 2) Add test for multiple specs that needs 2 specs to get UNSAT 3) Update docs with example of multiple specs and added user-func-specs to reference.html