Esempio n. 1
0
 static void Main()
 {
     GlobalObjectsForCST.init();
     SynthesizedPortion.SynthesizedSequence();
 }
Esempio n. 2
0
 static void Main()
 {
     SynthesizedPortion.SynthesizedSequence();
     check_Assertion();
 }