SpinでHelloWorld

モデル検査ツールの1つとして知られているSpinでHelloWorldします。

使用した環境

Xubuntu 12.04
Spin Version 6.3.2

Spinのインストール

公式サイトからSpinのソースファイル*.tar.gzをダウンロードする。
*.tar.gzを解凍して、makeする。

tar xzf spin632.tar.gz
cd Spin/Src6.3.2
make

これで、実行できるバイナリファイルspinが作成される。
あとは、このバイナリファイルにPATHを通せば完了。

※Windowsの場合は、公式サイトでWindows用の実行バイナリが配布されているので、それをダウンロードすればよし。

HelloWorld

次の内容を、helloworld.promとして新規保存する。

active proctype helloworld()
{
        printf("hello world\n");
}

次のコマンドを実行すると、HelloWorld。

$ spin helloworld.prom
      hello world
1 process created