removed dead-node-elimination, so visited count is diifferent
authorFIRM Projekt Account <firm@ipd.info.uni-karlsruhe.de>
Fri, 1 Jul 2005 08:18:25 +0000 (08:18 +0000)
committerFIRM Projekt Account <firm@ipd.info.uni-karlsruhe.de>
Fri, 1 Jul 2005 08:18:25 +0000 (08:18 +0000)
commit40429d0f079d7449121d7068900bf6ff2cb8133d
tree5937290334cd441d388f9f6a066b182b688ffaf7
parent1f0abf67192d135bfc4fe40e68d46a73941ecadf
removed dead-node-elimination, so visited count is diifferent

[r6163]
testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg