test_veri_only_bsv_modules_options Log2Test  "" "+RTS -H150M -M300M -Sstderr -RTS" out.expected