Install ScEpTIC

ScEpTIC requires python 3.7 or higher and supports the LLVM IR generated by the LLVM toolchain from version 6.0 up to version 12.0. Higher versions may also work.

We suggest to install pypy3 to run ScEpTIC, as its simulations take time and pypy3 provides a significant speedup.

Requirements

First, install git, python 3 and clang.

If your host is a linux-based machine:

apt install python3 python3-dev python3-pip clang-12.0 git pypy3

If your host is a osx-based machine:

brew install python3 python3-dev python3-pip llvm@12 git pypy3

Clone and use ScEpTIC

Then, clone ScEpTIC repo:

git clone git@bitbucket.org:neslabpolimi/sceptic.git

Finally, install ScEpTIC requirements:

pip3 install -r sceptic/requirements.txt

To use ScEpTIC, you can simply place the ScEpTIC directory inside the same directory of your simulation-related files, such as the program LLVM IR and the python script to run the simulation, as follows:

sceptic/
    ScEpTIC/
    run.py
    source.ll

Now you can start using ScEpTIC.

Install ScEpTIC Library

You can install ScEpTIC library with the following command:

cd sceptic/
python3 setup.py install --user

Note that you can uninstall ScEpTIC using the command:

pip3 uninstall ScEpTIC