やらない夫：こんな感じの1スイッチカバレッジの状態遷移表が作られる。スイッチの数はいくらでも指定可能だ。#ytdd