esbmc icon indicating copy to clipboard operation
esbmc copied to clipboard

Published 20 hours ago • verified publisher icon esbmc

added support for union dereference (EXPERIMENTAL & DO NOT MERGE)

Open lucasccordeiro opened this issue 4 years ago • 1 comments

This PR adds support for union dereference, but it is still experimental.

lucasccordeiro avatar Feb 10 '21 07:02 lucasccordeiro

These results are from the master branch using ESBMC incremental (timelimit="5 min" memlimit="6 GB"):

Statistics:          15455 Files
  correct:            6728
    correct true:     3118
    correct false:    3610
  incorrect:           243
    incorrect true:      6
    incorrect false:   237
  unknown:            8484
  Score:              5862 (max: 25033)

lucasccordeiro avatar Feb 10 '21 15:02 lucasccordeiro