hamroctopus/spin repository overview

⁠Promela / Spin

This container provides a docker⁠ environment for Promela⁠ language files using the Spin verification tool⁠.

⁠Provenance

This container uses admiringworm/ubuntu⁠ as a base.

⁠Contents

The image contains the following packages

• make 3.8.1
• cmake 3.0.2
• bison 3.0.2
• gcc 4.8.4
• g++ 4.8.4
• spin 6.4.5⁠

⁠Use

There are two use cases for this docker container, autopilot and manual control. Both require mounting your directory with promela sources as /data in the container.

⁠Autopilot

Invoking this container without arguments will run the standard cmake build routine, i.e.

docker run -v $(pwd):/data hamroctopus/spin:6.4.5

will tell the container to mount the current directory and execute the following

mkdir build
cd build
cmake ..
make

⁠Manual

If your build pattern deviates from the above, pass your custom instructions as arguments

docker run -v $(pwd):/data hamroctopus/spin:6.4.5 "step1 && step2 && step3"