Tarval:
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Wed, 9 Apr 2003 15:33:31 +0000 (15:33 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Wed, 9 Apr 2003 15:33:31 +0000 (15:33 +0000)
commit5d0a043711c9dc8758cc9666b5f7189f0dffa967
tree6f9828959e41d799a9eb7a58bbc0f0381c1bf14c
parentd4168aa816241ed8bedac3dba5d62efb8cf8882d
Tarval:
- testsuite results updated (hex output now ignores leading zeros)
- fixed ARRAY-HEAP_EXAMPLE output

[r1050]
24 files changed:
testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg
testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg
testprograms/ref-results/COND_EXAMPLE_main.vcg
testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg
testprograms/ref-results/DEAD_BLOCK_main.vcg
testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg
testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg
testprograms/ref-results/GLOBAL_VAR_main-all.vcg
testprograms/ref-results/GLOBAL_VAR_main.vcg
testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg
testprograms/ref-results/IF_EXAMPLE_main.vcg
testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg
testprograms/ref-results/IRREGULAR_CF_main.vcg
testprograms/ref-results/IRR_LOOP_main.vcg
testprograms/ref-results/MEMORY_EXAMPLE_main.vcg
testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg
testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg
testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg
testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg
testprograms/ref-results/PRIMA_c-all.vcg
testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg
testprograms/ref-results/WHILE_EXAMPLE_main.vcg
testprograms/ref-results/c.vcg
testprograms/ref-results/main.vcg