Fixed construction of constants (new verifyer detects this)
authorFIRM Projekt Account <firm@ipd.info.uni-karlsruhe.de>
Wed, 8 Feb 2006 18:49:41 +0000 (18:49 +0000)
committerFIRM Projekt Account <firm@ipd.info.uni-karlsruhe.de>
Wed, 8 Feb 2006 18:49:41 +0000 (18:49 +0000)
commiteff0b79957b513a56c9d0c403e11663661f2c0bd
tree5ca60c7661d4c9e3e5d21f133c8808d7d19df6ae
parent71656e4cfe91fee5a3e2237a1c85f0bc0299c3c7
Fixed construction of constants (new verifyer detects this)

[r7325]
testprograms/if_while_example.c
testprograms/memory_example.c