#! /bin/sh
rm -f test/test17/memset.M1
rm -f test/test17/memset.hex2
rm -f test/test17/proof
exit 0