diff options
| author |  Pantazis Deligiannis <pdeligia@me.com> | 2013-07-15 10:56:56 +0100 |
|---|---|---|
| committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-07-15 10:56:56 +0100 |
| commit | ee4be4f6280d39c31d95e50ac3ac039c6d2ba5f5 (patch) | |
| tree | 16a8fdbe37586595bd1cfc37b6fc52a4f644d5bc /Test/test2 | |
| parent | 0c04738d73d4253135cc248a02dd7ac3d2d97d5a (diff) | |
temp fix until CVC4 bug is fixed (using QF_ALL_SUPPORTED instead of ALL_SUPPORTED)
Diffstat (limited to 'Test/test2')
0 files changed, 0 insertions, 0 deletions