diff options
| author |  akashlal <unknown> | 2010-12-07 05:26:26 +0000 |
|---|---|---|
| committer | akashlal <unknown> | 2010-12-07 05:26:26 +0000 |
| commit | 17ae858148a0e2c7d7c4024f690b4bd5e8279590 (patch) | |
| tree | b8b7fafccaefcdcc588c8fc46febd5b70837bbbf /.gitignore | |
| parent | cfcec36a36e642bb85cb97534d90820358464558 (diff) | |
z3api: Bug fix with timeout. Use CheckAssumptions.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions