Skip to content

Instantly share code, notes, and snippets.

@IJCAI2017-3841

IJCAI2017-3841/Run_F1_F3.md Secret

Last active March 31, 2017 06:55
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save IJCAI2017-3841/82a49845703ef3dc51db2389d306b760 to your computer and use it in GitHub Desktop.
Save IJCAI2017-3841/82a49845703ef3dc51db2389d306b760 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Run_F1_F3.md

The resource file cognitivecalculus-completness-tests.clj has problem specifications for F1 and F3. These would be at the bottom of the file. This file has completeness tests for the prover.

Run com.logic.prover.CognitiveCalculusProverTests to run all the tests:

Instructions to build and run all tests:

mvn clean install

Running only tests in cognitivecalculus-completness-tests.clj

 mvn exec:java -Dexec.classpathScope="test" -Dexec.mainClass="com.logic.prover.CognitiveCalculusProverTests"
@IJCAI2017-3841
Copy link
Author

IJCAI2017-3841 commented Mar 31, 2017 •
edited

Expected Output:
screen shot 2017-03-30 at 11 53 19 pm

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment