Alloy Modelの学習・その2(マイグレーション)

前回の学習内容をもとに、せっかくなのでマイグレーション機能も試してみることにしました。 umi-uyura.hatenablog.com 今回のサンプルは前回と同じプロジェクトの step2 というブランチにあります。 umi-uyura/AlloyModelStudy at step2 マイグレーションを試す場合は、まず master ブランチをビルドして動かしてから、 s…