C++ (Cpp) __CrestInitの例

コード例 #1

ファイル: function.cil.c プロジェクト: rajshukla/Testgen-crest

void __globinit_function(void) 
{ 


  {
  __CrestInit();
}
}

コード例 #2

ファイル: tritype.cil.c プロジェクト: Shujj/crestTestgen

void __globinit_tritype(void) 
{ 


  {
  __CrestInit();
}
}