add MC2_function call for assignments where RHS computed from loads; tweak tests

[satcheck.git] / benchmarks / satcheck-precompiled / msqueueoffset / clean.sh

#!/bin/bash
rm -f linuxrwlocks.cc linuxrwlocks dimacs.out dimacs.cnf logall log_file