run.sh revision ea0dd71829400e24c3d8a7b7440cd6b42c34a3b8
#!/bin/sh
# Test if the KnownProversMap works
../../Comorphisms/test/showKP
ret=$?
(exit $ret) && echo " passed" || echo " failed"
# Test CMDL_tests
../../SoftFOL/tests/CMDL_tests
# soapTest
../../SoftFOL/tests/soapTest denebola 8080 Broker ProveProblemOpt ../../SoftFOL/tests/asym.tptp 10
../../Comorphisms/test/sublogicGraph