Skip to content
GitLab
Switch branch/tag
Find file Normal viewHistoryPermalink
check-solve 104 Bytes
Newer Older
Benoit Perrot's avatar
Distribute sub test scripts.  
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