Home • Docs • Download • Mail • FAQ • Awards • Status • MSR

Z3 An Efficient SMT Solver

Microsoft::Z3::Z3Error

Z3Error Class Reference
[Managed (.NET) API]

Z3 error exceptions contain an ErrorCode. More...

Detailed Description

Z3 error exceptions contain an ErrorCode.

A Z3Error exception gets raised on errors caused by malformed calls into the Context.

Definition at line 139 of file Microsoft.Z3.h.

Last modified Thu Nov 12 16:35:57 2009