check-solve 104 Bytes
Newer Older
Benoit Perrot's avatar
Benoit Perrot committed
1
2
3
4
5
#!/bin/sh

MIPSY=$top_builddir/src/mipsy \
PSYFLAGS=--prg-solve \
$top_srcdir/tests/mipsy-check 4 solve