Project

General

Profile

Actions
Copy link

Feature #8271

closed

Implement checks of the error trace format in Core

Added by Ilja Zakharov over 7 years ago. Updated about 7 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Ilja Zakharov
Category:
Tasks generation
Target version:
0.2
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 1 (0 open — 1 closed)

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

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 7 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.

Actions
Copy link
 #2

Updated by Ilja Zakharov over 7 years ago

  • Status changed from New to Resolved

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

Actions
Copy link
 #3

Updated by Evgeny Novikov about 7 years ago

  • Target version set to 0.2
Actions
Copy link
 #4

Updated by Evgeny Novikov about 7 years ago

  • Status changed from Resolved to Closed

I merged the branch to master in b21a6ba5.

Actions
Copy link

Also available in: Atom PDF