added vrfy_graph() after maturing the end block
authorBoris Boesler <boesler@ipd.info.uni-karlsruhe.de>
Thu, 6 Jul 2000 08:13:36 +0000 (08:13 +0000)
committerBoris Boesler <boesler@ipd.info.uni-karlsruhe.de>
Thu, 6 Jul 2000 08:13:36 +0000 (08:13 +0000)
commit4ea1df63a99fe3e9bf8f0395cdf33c39d4a2c677
tree029649d24249f3c14f05412565dee7b1a0018784
parent1e202a59e321d24bc7d3396c34ebdcb541048105
added vrfy_graph() after maturing the end block

[r26]
15 files changed:
testprograms/array-heap_example.c
testprograms/array-stack_example.c
testprograms/call_str_example.c
testprograms/cond_example.c
testprograms/const_eval_example.c
testprograms/dead_block_example.c
testprograms/empty.c
testprograms/global_var_example.c
testprograms/if_else_example.c
testprograms/if_example.c
testprograms/if_while_example.c
testprograms/irr_cf_example.c
testprograms/irr_loop_example.c
testprograms/memory_example.c
testprograms/oo_program_example.c