External SMT Model Keyword "Model" Bug fix

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.

MIT License

102 stars 14 forks source link

Closed philzook58 closed 3 years ago

philzook58 commented 3 years ago

Relaxed condition looking for keyword "model" in external smt model and enhanced error messages for easier later debugging.

codyroux commented 3 years ago

Sorry for the nits, Wadler's law I guess.

Looks fine otherwise.

codyroux commented 3 years ago

Seems fine, merging this because it's somewhat urgent.