trvrfy uses now verification flags
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Sat, 31 Dec 2005 15:58:09 +0000 (15:58 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Sat, 31 Dec 2005 15:58:09 +0000 (15:58 +0000)
commitb8dc7adc7030c79be9590e6f03b32da629201a92
tree673ddb52140d3636f380437e4f517ec3a20a7860
parent652ec0592f713b8ca15bad13df1f6cfdd9eaca7f
trvrfy uses now verification flags

[r7174]
ir/tr/trvrfy.c
ir/tr/trvrfy.h