Mac OS X へのインストール．Spin はモデル検査ツールです． ここを読めばインストールできます以下はインストールログです． $ tar zxvf spin429.tar.gz $ cd Spin/Src4.2.9/makefile を編集．CC=cc -DNXTをCC=cc -DNXT -DCPP="/usr/bin/cpp -xassembler-wi…