test_c_veri_worker EnumAll mkTestbench_EnumAll {} "bsv" 1 1 "mkTestbench_EnumAll.v.out.expected" "" ""

test_c_veri_worker EnumFromTo mkTestbench_EnumFromTo {} "bsv" 1 1 "mkTestbench_EnumFromTo.v.out.expected" "" ""