ArrayOutOfBoundsException when performing CProver Atom Analysis
There occures an ArrayOutOfBoundsException when performing cprover contract atom analysis.
(from redmine: issue id 1919, created on 2014-02-04, closed on 2014-02-04)
There occures an ArrayOutOfBoundsException when performing cprover contract atom analysis.
(from redmine: issue id 1919, created on 2014-02-04, closed on 2014-02-04)