Commit state of repository at time of OOPSLA 2015 submission.

[satcheck.git] / benchmarks / checkfence / msqueue / clean.sh

#!/bin/bash
rm T0.*.htm
rm T0.bsc*
rm T0.prn
rm msn_harness.i
rm msn_harness.lsl
rm msn_harness.c
rm runlog