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