EricCrosson / spin

A docker build environment for Promela language files through the Spin formal verification tool

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"