test_c_veri_bsv_multi parAuto parAuto {} "parAuto.out.expected"