Reproduction Package for SEFM 2022 Article `A Unifying Approach for Control-Flow-Based Loop Abstraction'

Reproduction Package for “A Unifying Approach for Control-Flow-Based Loop Abstraction” This reproduction package provides a virtual machine to reproduce the results from our our SEFM 2022 publication A Unifying Approach for Control-Flow-Based Loop Abstraction. Hardware Requirements This artifact VM requires 18 GB of RAM, 2 CPU cores and 10 GB of disk space. The README.md details how resource limits for the experiments can be further reduced, at the risk of not being able to reproduce the results exactly. Usage Start the VM and log with the user account: VM username: vagrant VM password: vagrant Change directory into ~/loop-abstraction, where further instructions are provided in the file README.md. This folder is a copy of the repository https://gitlab.com/sosy-lab/research/data/loop-abstraction along with all the files already downloaded that are necessary to run the experiments. As such the artifact is self-contained and should work without internet connection, which is why the VM does not have a network interface configured. The VM is however configured to allow SSH login via username and password, so if you wish you can also login remotely via SSH, for which you will need to add a network interface to the VM first