diff options
| author |  qadeer <unknown> | 2010-01-21 18:55:25 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-01-21 18:55:25 +0000 |
| commit | c687fe7fcc0f49dceda4e9bc253abef7e97962a1 (patch) | |
| tree | 16f454d36033fb106c1b6048ab91bee46d1da0c4 /Source/Core/BoogiePL.atg | |
| parent | 438f1c72f727877759c704cefab7fdb4bb45b4d2 (diff) | |
Implemented the command line switch /useArrayTheory. This switch should be used only in conjunction with /monomorphize. When enabled, this switch uses the native Z3 array theory rather than the Select-Update axioms.
Diffstat (limited to 'Source/Core/BoogiePL.atg')
0 files changed, 0 insertions, 0 deletions