set here [file join [absolute $srcdir] $subdir]
source $here/../common.tcl

test_ovl  assertImplication1  assert_implication.vlib