test_c_veri_bsv_multi_options Testbench mkTestbench {mkDesign} "" "mkTestbench.out.expected"