Changelog
- 0b2f8bb Bellmar/charm (#54)
- b805587 Bellmar/imports (#50)
- 07e664d Bellmar/logic adjustments (#53)
- bb854a7 Bellmar/state func conditional (#55)
- 8fd8a81 Major refactoring of SMT generation (#52)
- 76b0002 adding tests for preprocessor
- 3512561 broken test
- 3315b15 clearing up comments
- 73d2da2 don't generate assert/assume rules on structs not active in the spec
- c57b972 fixed zero rounds spec test
- f1cf4b3 fleshing out the unhappy path of the listener
- 23ce346 forgot to remove the good specs from the test function
- b4a2fb0 if component state boolean is not declared, switch to the block0, declare it and assign it a false state to start (#49)
- 94be428 improvements to TUI error classification and progress bars
- 46f4f7a improvements to utils package
- b61ab10 improving performance of reachability
- 3ae3c73 missing error catching on string lengths and stack pops
- 6ba674a more tests for smt response parsing
- 75e78cc refactoring original (deeply misguided) error catching haha
- 9de6cd8 removed stringvalid.fspec from bad specs (not a bad spec)
- e02306c removing os.Exit from reachability
- 6879491 replacing panics with errors when the smt response does not parse correctly
- fb1dfef shadow.fspec is valid, remove it
- bc9a918 standardizing panic/recovery
- a25a38e update README.md
- 96fb3ad updating changelog
- d259a20 var alphanumeric = regexp.MustCompile(...) is now compiled once at package init. The pattern changed from * to +, so empty strings now correctly fail validation. Consolidated 13 code blocks into the helper assertValidVarName
- cd1a527 working on unhappy path tests