Delay-Bound Scheduling Without Delay! (artifact)

This is the artifact for the CAV2021 paper:

Delay-Bounded Scheduling Without Delay!

Instructions to run:

Download the docker image tarball (~320MB).

Load the docker image:

docker load < ubuntu-duba.tar

Generate a container:

docker run --name=duba-container -it johnsonan299/ubuntu-duba:latest

This should open a terminal as root in the container. Navigate to the directory /home/CAV2021 and follow the instructions in the README to run the tool.