free-theorems-counterexamples-0.3: test.sh

#!/bin/bash
./testcgi.py ./dist/build/counterexamples.cgi/counterexamples.cgi