Install SatAbs on build server
Some CProver tests test satabs analyses.
Right now those are commented out.
Comment them back in, as soon as satabs is installed.
(from redmine: issue id 1752, created on 2013-09-23, closed on 2013-10-07)
Some CProver tests test satabs analyses.
Right now those are commented out.
Comment them back in, as soon as satabs is installed.
(from redmine: issue id 1752, created on 2013-09-23, closed on 2013-10-07)