verify primitives
authorGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Fri, 29 Oct 2004 07:45:06 +0000 (07:45 +0000)
committerGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Fri, 29 Oct 2004 07:45:06 +0000 (07:45 +0000)
commit761ddbd912c32a9c477d183b512a280c27e7d47e
tree4fb2f34a7f7050fc252de5525acb908505cbecee
parent6ddfdef22108fc17578388b6207e38bd2ba77b82
verify primitives

[r4233]
ir/tr/trvrfy.c