CONTRACTS: dfcc_is_cprover_symbol now uses allow lists to match symbols#7708
Merged
tautschnig merged 1 commit intodiffblue:developfrom May 22, 2023
dfcc_is_cprover_symbol now uses allow lists to match symbols#7708