Designed for use on MacOS / Linux
To run, the benchmark requires that the following is installed:
- GNU coreutils
- Maven installed and available on path (developed using version 3.8.4)
- JDK 11 or higher
- Infer installed and available on path (developed using version 1.1.0)
- zsh (developed using version 5.7.1 and 5.9)