analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard
verified publisher icon goblint

Regressions from string literals domain

Open sim642 opened this issue 2 years ago • 0 comments

On our pthread bench programs, I've already found via git bisect two regressions caused by #1048:

  1. e94b0cce9a15ebbd5a20f063dcf08ba8a17289da causes aget_comb evals to go from 7138 to 7932.

  2. 52fea5d72beabc85fb6c522b957965e9f0e1d24e causes fixpoint not reached errors on smtprc_comb (#1124)

sim642 avatar Aug 03 '23 10:08 sim642