blob: 408fcf64cf4d5ae2128dfc02616a1bec5ab5ab90 [file] [log] [blame]
prove_mux:
sby -f scan_mux.sby