Appendix: Installation

Installation: JAR files

Command Line Interface

COMMAND LINE JAR DOWNLOAD: sokrates-LATEST.jar (38 MB)

Simple usage example (to analyze Junit4):

git clone https://github.com/junit-team/junit4
cd junit4

java -jar sokrates-LATEST.jar init
java -jar sokrates-LATEST.jar generateReports

open _sokrates/reports/html/index.html

Explorer

DOWNLOAD: sokrates-explorer-0.9.jar (78 MB)

NOTE: require JavaFX (download it and install it from openjfx.io)

java –module-path $JAVAFX_HOME/lib –add-modules=javafx.controls,javafx.web -jar sokrates-explorer-0.9.jar

Source Code

Sokrates is an open-source project, released under the GNU Affero General Public License v3.0.

To build a project from source code, go to the root of the project, and run the following command:

mvn clean install

The build will create two jar files:

• the command line interface JAR in the cli/target folder
• the interactive explorer JAR in the codeexplorer/target folder

Prerequirements:

• Java 8+
• Maven