diff options
| author |  qadeer <unknown> | 2010-08-29 05:42:44 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-08-29 05:42:44 +0000 |
| commit | e9b875f97ba13669491cec76d1472f40b94efc4d (patch) | |
| tree | a667acc76e57e7e1da99b84775e938ecfec71bc7 /Source/VCGeneration/Check.cs | |
| parent | 1261d2fd42953648371ce36dfc1fa01b75ffeae2 (diff) | |
created a new build target called z3apidebug.
only this target has a compile time dependency on Microsoft.Z3.dll.
To compile this target, a reference to z3api must be manually added to BoogieDriver.
Diffstat (limited to 'Source/VCGeneration/Check.cs')
0 files changed, 0 insertions, 0 deletions