A set of synthetic benchmarks for relational abstract domains and their operations.
The main requirements for muRelBench are OpenJDK version 11, and Maven 3.x. Please install these tools through your preferred method.
If you use Guix, then please use the following command to load into a temporary environment for building and developing muRelBench:
guix time-machine -C channels.scm -- shell -m manifest.scmCurrently, the container image is built using [Guix Pack][guix-pack]. Therefore, without using Guix it is not possible to build the container image. However, if you have OpenJDK 11 and Maven, then everything should work all the same.
After installing dependencies, building the project is as simple as invoking Maven:
mvn packageThe package goal will create a target/benchmarks.jar file, which is the
main entry-point of executing benchmarks.
To execute the benchmarks, the following command should be sufficient:
java -jar target/benchmarks.jarThe code is released AS-IS, WITHOUT warranty in the hopes that it will be useful, under the terms and conditions of the GNU Public License version 3 (or at your option) and later revision. You should have received a copy of the license with the distribution of this package. If not, it can be found online at https://www.gnu.org/licenses/gpl-3.0.en.html.