remove support for cbmc
remove support for cbmc from tools
(from redmine: issue id 3166, created on 2017-11-16, closed on 2017-11-30)
- Relations:
- parent #3042 (closed)
remove support for cbmc from tools
(from redmine: issue id 3166, created on 2017-11-16, closed on 2017-11-30)