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 over 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
 #1

Updated by Evgeny Novikov about 5 years ago

Actions
Copy link
 #2

Updated by Evgeny Novikov about 5 years ago

Actions
Copy link
 #3

Updated by Evgeny Novikov about 5 years ago

  • Status changed from New to Resolved

Done. Often it is impossible to get rid of auxiliary functions in a normal way. For instance, EMG generates wrappers to invoke static functions from an outside source file. CIF needs auxiliary functions in a common case since it does not parse advice bodies.

Actions
Copy link
 #4

Updated by Evgeny Novikov almost 5 years ago

  • Status changed from Resolved to Closed

In master.

Actions
Copy link

Also available in: Atom PDF