Update CIL to fix issues with line directives
Anton detected that CIL issued invalid line directives sometimes that result in invalid references to sources in CPAchecker. Mikhail already fixed CIL, so, we just need to update and to test it.
Updated by Evgeny Novikov 9 months ago
- Status changed from Resolved to Closed
Tests passed, so, I merged the branch to master in f8e8721d7. New CIL makes much better references to original sources, so, you can expect improvements in representation of violation witnesses and code coverage reports.