CLEVER V2
-
Clone the repository
git clone https://github.com/stepwise-alan/spl-tools.git cd spl-tools
-
Install Python 3.10
-
Install the requirements
pip3 install -r requirements.txt
sbt "runMain LiftedEquivalenceCheckerV1 OLD_FILE NEW_FILE FUNCTION_NAME"
where OLD_FILE
/NEW_FILE
is the path to the old/new file, and FUNCTION_NAME
is the function name.
sbt "runMain LiftedEquivalenceCheckerV1 examples/toy/old.c examples/toy/new.c client"