Module isla_axiomatic::sandbox

For running isla-axiomatic via the web interface, we support sandboxing the various assembler and linker commands used when building litmus tests. This is done using the bubblewrap tool, and controlled using the sandbox cargo feature.

Structs

SandboxedCommand