CIS 2019 Summer Program Final Project
Authors: LI, Xihe and ZHANG, Lide, released under LGPL 3.0.
Chinese Software Copyright Registration Number: 2019SR1126509
Functionality only checked on Java 8.
Download JAR and install, execute the following commands to run check:
mvn compile
mvn edu.cis2019.recursioncheck:recursioncheck-maven-plugin:check