Пример #1
0
 static void Main()
 {
     GlobalObjectsForCST.init();
     SynthesizedPortion.SynthesizedSequence();
 }
Пример #2
0
 static void Main()
 {
     SynthesizedPortion.SynthesizedSequence();
     check_Assertion();
 }