| Attachment #590998 | |||||
|---|---|---|---|---|---|
| z3-4.8.6:20190925-002828.log | text/plain | 2019-09-25 00:56:26 UTC | 8.92 KB | no flags | Details |
| Attachment #591000 | |||||
|---|---|---|---|---|---|
| info | text/plain | 2019-09-25 00:56:39 UTC | 14.52 KB | no flags | Details |
| Attachment #591002 | |||||
|---|---|---|---|---|---|
| CMakeError.log | text/plain | 2019-09-25 00:57:19 UTC | 1.93 KB | no flags | Details |
| Attachment #591004 | |||||
|---|---|---|---|---|---|
| CMakeOutput.log | text/plain | 2019-09-25 00:57:48 UTC | 28.92 KB | no flags | Details |