Musketeer from "Don't sit on the fence" by Alglave et al.
192
An image with the Musketeer tool from the paper "Don't sit on the fence" by Alglave et al.
As Musketeer is from 2014, it can be tricky to setup nowadays. It specifically requires GLPK version 4.53.
When you have a local directory data with a file hello.c on which you want to run Musketeer:
docker run -it --rm -v "$PWD/data:/data" sourcedennis/musketeer musketeer /data/hello.c
Content type
Image
Digest
Size
37.8 MB
Last updated
over 4 years ago
docker pull sourcedennis/musketeer