Actions
Feature #9824
closedFeature #8494: Process extended format of violation witnesses
Get rid of auxiliary functions and their removing
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