Project

General

Profile

Actions

Feature #10898

closed

Try to enable LDV_C_BACKEND_OMIT_TYPE_QUALS by default

Added by Evgeny Novikov over 2 years ago. Updated over 2 years ago.

Status:
Closed
Priority:
High
Category:
Tasks generation
Target version:
Start date:
07/31/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

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.

Actions

Also available in: Atom PDF