Add workaround for CBMC bug to SimpleC back-end
authorClifford Wolf <clifford@clifford.at>
Wed, 17 May 2017 19:07:54 +0000 (21:07 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 17 May 2017 19:07:54 +0000 (21:07 +0200)
commit2122ae69b3c12057d3d4a4f5060bbdba70462d6a
tree5a9594af83a7bbdfbf6e5fa8ce0f95865b196a68
parent662a04781504c95f77e76e0026247806ac410cfc
Add workaround for CBMC bug to SimpleC back-end
backends/simplec/simplec.cc