run.sh revision 4e23d551da8fb051cc4752319740ae7858ef1044
#!/bin/sh
# Test if the KnownProversMap works
../../Comorphisms/test/showKP
ret=$?
(exit $ret) && echo " passed" || echo " failed"
# Test CMDL_tests
../../SoftFOL/tests/CMDL_tests
../../Comorphisms/test/sublogicGraph