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