search

florianschanda / miss_hit

MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
GNU General Public License v3.0
158 stars 21 forks source link

allow running test-suite without cbmc installed #250

Closed florianschanda closed 2 years ago