2023 Note: This project was for a final project for a CS course in college. The repo is now archived and locked.
This project contains several different modules for different parts of the system.
- Clone the project.
git clone git@github.com:atusa17/tsp.git
- Open the
pandamonium-theorem-prover
folder with IntelliJ. Use auto-import for a Gradle project. - Individual Components have their own README. Continue there.
This project is unit tested with JUnit and Mockito. You can run the unit tests with IntelliJ or Gradle. To run them with IntelliJ, browse to any *Test.java
file and use IntelliJ's built-in test runner to run or debug the test. To run all the unit tests with Gradle:
-
On a Linux or Macintosh machine:
$ ./gradlew test
-
On a Windows machine:
$ gradlew.bat test
You can also test modules individually:
-
On a Linux or Macintosh machine:
$ ./gradlew persistence:test
-
On a Windows machine:
$ gradlew.bat persistence:test
To run the integration tests with IntelliJ, browse to any *Test.java
file residing in any module name integrationTest
and use IntelliJ's built-in test runner to run or debug the test. To run all the integration tests with Gradle:
-
On a Linux or Macintosh machine:
$ ./gradlew integrationTest
-
On a Windows machine
$ gradlew.bat integrationTest
- Spring Boot - Web framework
- Spring Web Flow - MVC framework
- Gradle - Dependency management
- JUnit - Unit tests
- Mockito - Mock objects library
- Lombok - Boilerplate Code Generator