開始条件の構成

開始要求、開始ソース、トレース、STwrenchのTAG条件などの、ツールに対する開始条件はここで構成されます。機能は、それぞれのセクションで説明されています。