Project

General

Profile

Feature #9824

Feature #8494: Process extended format of violation witnesses

Get rid of auxiliary functions and their removing

Added by Evgeny Novikov 9 months ago. Updated 5 months ago.

Status:
Closed
Priority:
Urgent
Category:
-
Target version:
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.

History

#1

Updated by Evgeny Novikov 7 months ago

#2

Updated by Evgeny Novikov 7 months ago

#3

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

#4

Updated by Evgeny Novikov 5 months ago

  • Status changed from Resolved to Closed

In master.

Also available in: Atom PDF