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

test_ovl  assertNoTransition2  assert_no_transition.vlib