Feature #8271
closed
Implement checks of the error trace format in Core
Added by Ilja Zakharov almost 7 years ago.
Updated over 6 years ago.
Category:
Tasks generation
Description
I propose to check error trace correctness before loading traces to Bridge. This would simplify debugging and allows to avoid errors in Bridge.
- Priority changed from High to Urgent
I think these checks are quite trivial but will help everybody to keep quite much time. Indeed later we will be able to add more checks when it will have sense.
- Status changed from New to Resolved
Done in new-multithread-witness as it is needed there more than anywhere else currently.
- Target version set to 0.2
- Status changed from Resolved to Closed
I merged the branch to master in b21a6ba5.
Also available in: Atom
PDF