mbeddr/mbeddr.core — pull request #1146 by DineshLMS (2014-12-05 14:02:44+00:00)
Title: Bugfix1312

Hi, I have changed mbeddr.core/code/languages/com.mbeddr.analyses.cbmc.rt/models/com/mbeddr/analyses/cbmc/rt/counterexample/lifted/builder.mps

and
mbeddr.core/code/languages/com.mbeddr.analyses.cbmc.rt/models/com/mbeddr/analyses/cbmc/rt/raw.mps

to fix the issue 1312.

Please review and please tell me if any changes are to be done.