C# (CSharp) Z3_error_code 예제들

예제 #1

파일: Context.cs 프로젝트: kayceesrk/Z3

 internal void NativeErrorHandler(IntPtr ctx, Z3_error_code errorCode)
 {
     // Do-nothing error handler. The wrappers in Z3.Native will throw exceptions upon errors.
 }

예제 #2

파일: NativeContext.cs 프로젝트: manhhomienbienthuy/z3

 internal void NativeErrorHandler(IntPtr ctx, Z3_error_code errorCode)
 {
     // Do-nothing error handler. The wrappers in Z3.Native will throw exceptions upon errors.
 }