Searched refs:genAssert (Results 1 – 1 of 1) sorted by relevance
494 … $$ vcat (merge (map genTbl tbls) (map genAsgn assignments) (map genAssert asserts))591 genAssert (msg, cs, sv) = (getNodeId sv, doc) function