Create a view for conducting CBMC based analyses
There should be a view to performing analyses using CBMC, similar to the SemanticsInspector view.
(from redmine: issue id 1550, created on 2013-07-31, closed on 2013-08-04)
There should be a view to performing analyses using CBMC, similar to the SemanticsInspector view.
(from redmine: issue id 1550, created on 2013-07-31, closed on 2013-08-04)