Try to enable LDV_C_BACKEND_OMIT_TYPE_QUALS by default
Recently CIF supported an ability to get rid of type qualifiers in its output. I already switched on the corresponding option in branch cif-omit-type-qual. We need to investigate an impact of enabling such the behavior by default in Klever.
Updated by Evgeny Novikov about 1 year ago
- Status changed from Resolved to Closed
I had to change several error trace patterns of preset marks, since they included "const" and "volatile" and matching failed. Moreover, CPAchecker SMG started to fail to calculate string lengths, so, one dedicated test case did not pass. I hope that Anton will figure out the reason of this and fix it soon.
I merged the branch to master in d6ff1c59c.