Model checking with cbmc appears not to function
attached is a model with a property that passes even if it should not
(from redmine: issue id 1894, created on 2014-01-21, closed on 2014-02-10)
attached is a model with a property that passes even if it should not
(from redmine: issue id 1894, created on 2014-01-21, closed on 2014-02-10)