ALICe – A Benchmark for Automatic Loop Invariant Computation¶
ALICe project aims to provide tools and a standardized set of test cases to compare different polyhedral analysis techniques and softwares. Currently, ALICe is able to run Aspic and PIPS and with various analysis configurations.
Test cases are small-sized, yet non-trivial examples taken from previously published articles, including work by Gonnord, Gulwani, Halbwachs, Jeannet & al. Common models, such as subway or car transition systems, are present.
Clone the git repository:
git clone http://www.cri.ensmp.fr/people/maisonneuve/alice.git
ALICe relies on several softwares, each comes with dependencies. On Debian/Ubuntu, install the following packages:
sudo apt-get install autoconf libtool git svn cproto flex bison libreadline-dev
Then run the script install_alice.sh at the root of the git repository to compile and install the required programs:
If everything goes well, just setup the environment:
and then you are ready to use ALICe.