Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

executable file 8 lines (7 sloc) 0.159 kb
#!/bin/bash
if [ $2 ]
then
mosml -P full -quietdec -I "`dirname $0`/src" "`dirname $0`/src/main.sml" "$1" "$2"
else
echo "Usage: $0 testset filename"
fi
Jump to Line
Something went wrong with that request. Please try again.