Project

General

Profile

Actions
Copy link

Feature #9824

closed

Feature #8494: Process extended format of violation witnesses

Get rid of auxiliary functions and their removing

Added by Evgeny Novikov about 5 years ago. Updated almost 5 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
-
Target version:
3.0
Start date:
09/18/2019
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

To reduce and to simplify error traces Core VRP removes auxiliary functions. Corresponding code is rather complicated while overall work requires some non-trivial things from several components and tools (CIF, Core VTG EMG and of course Core VRP). This results to complex failures that we do not fix sometimes.

I suggest to avoid generation of those auxiliary functions that are not necessary (this is a job for CIF and Core VTG EMG) and then we will not need buggy code for their removing.

Actions
Copy link

Also available in: Atom PDF