Project

General

Profile

Feature #8271

Implement checks of the error trace format in Core

Added by Ilja Zakharov about 3 years ago. Updated about 3 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Tasks generation
Target version:
Start date:
07/04/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

I propose to check error trace correctness before loading traces to Bridge. This would simplify debugging and allows to avoid errors in Bridge.


Related issues

Blocks Klever - Feature #8240: Fix transformation of witnesses to error traces for multithreaded softwareClosed06/13/2017

Actions

History

#1

Updated by Evgeny Novikov about 3 years ago

  • 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.

#2

Updated by Ilja Zakharov about 3 years ago

  • Status changed from New to Resolved

Done in new-multithread-witness as it is needed there more than anywhere else currently.

#3

Updated by Evgeny Novikov about 3 years ago

  • Target version set to 0.2
#4

Updated by Evgeny Novikov about 3 years ago

  • Status changed from Resolved to Closed

I merged the branch to master in b21a6ba5.

Also available in: Atom PDF