예제 #1
0
 static void Main()
 {
     GlobalObjectsForCST.init();
     SynthesizedPortion.SynthesizedSequence();
 }
예제 #2
0
 static void Main()
 {
     SynthesizedPortion.SynthesizedSequence();
     check_Assertion();
 }