Public | Automated Build

Last pushed: 12 days ago
Short Description
Promela / SPIN 6.4.5 formal verification container
Full Description

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"
Docker Pull Command
Owner
hamroctopus
Source Repository

Comments (0)