Add CBMC Response parsing and Display controlled output#665

Merged

jaisnan merged 30 commits intomodel-checking:mainfrom

Dec 10, 2021

Commits on Oct 18, 2021

fixes the "assertion failed" line
jaisnan
committed

Commits on Nov 29, 2021

Commits on Nov 30, 2021

Fix Magic Strings by Providing Enum; Provide Single flag Option and resolve autopep8 issues
jaisnan
committed

Commits on Dec 3, 2021

Commits on Dec 6, 2021

Adding Citation for EnumAction, Explicit Dependency for Colorama for Ubuntu, Removing Explcit output-format flag passing for DynTrait Rust tests
jaisnan
committed
Adding Citation for EnumAction, Explicit Dependency for Colorama for Ubuntu, Removing Explcit output-format flag passing for DynTrait Rust tests w/fixed formatting issues
jaisnan
committed

Commits on Dec 8, 2021

Add Documentation for deleting regression test cache
jaisnan
committed

Commits on Dec 10, 2021

Merge branch 'main' into main
jaisnan
authored