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