VMMのアクション機能→textで記述したコマンド・シーケンスを読み込んで実行してくれる。 →VMM本（ベリフィケーション・メソドロジ・マニュアル)p295,p408～ 便利そうなんだけどOVM2.0には無いね。。。 代わりにsequences arrayへ登録して適当に使用してと、…