Commit state of repository at time of OOPSLA 2015 submission.

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

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