Make reachability analysis use BMC
… in this way it will be much faster
(from redmine: issue id 788, created on 2012-04-26, closed on 2012-05-07)
- Relations:
- parent #849 (closed)
… in this way it will be much faster
(from redmine: issue id 788, created on 2012-04-26, closed on 2012-05-07)