Back to bug 1414925
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Jerry James | 2017-01-21 20:24:27 UTC | Status | NEW | ASSIGNED |
| Link ID | Github https://github.com/diffblue/cbmc/issues/462 | |||
| Fedora Update System | 2017-04-16 23:22:07 UTC | Status | ASSIGNED | ON_QA |
| Fedora Update System | 2017-04-20 12:01:54 UTC | Status | ON_QA | CLOSED |
| Fixed In Version | cbmc-5.7-1.fc26 | |||
| Resolution | --- | ERRATA | ||
| Last Closed | 2017-04-20 08:01:54 UTC |
Back to bug 1414925