Use labels for encoding verification conditions for CBMC
Use labels for encoding verification conditions for CBMC instead of Assertions.
(from redmine: issue id 1551, created on 2013-07-31, closed on 2013-08-07)
Use labels for encoding verification conditions for CBMC instead of Assertions.
(from redmine: issue id 1551, created on 2013-07-31, closed on 2013-08-07)