CBMC additional profiling info: Count and report all array constraints added during postprocessing#5478

Merged

tautschnig merged 12 commits intodiffblue:developfrom

natasha-jeppu:array_theory

Nov 19, 2020

Commits on Nov 19, 2020

Add parse option --show-array-constraints to track array constraints added during post processing

Natasha Yogananda Jeppu
authored and
danielsn
committed
Add utility and module to track array constraints and display in json format

Natasha Yogananda Jeppu
authored and
danielsn
committed
Modify boolbvt and bv_pointerst to incorporate get_array_constraints boolean option used in arrayst class

Natasha Yogananda Jeppu
authored and
danielsn
committed
Regression test for --show-array-constraints --json-ui

Natasha Yogananda Jeppu
authored and
danielsn
committed
Add utility and module to track array constraints and display in json format

Natasha Yogananda Jeppu
authored and
danielsn
committed
Modify boolbvt and bv_pointerst to incorporate get_array_constraints boolean option used in arrayst class

Natasha Yogananda Jeppu
authored and
danielsn
committed
Regression test for --show-array-constraints --json-ui

Natasha Yogananda Jeppu
authored and
danielsn
committed
Add parse option --show-array-constraints to track array constraints added during post processing

Natasha Yogananda Jeppu
authored and
danielsn
committed
track number of constraints of different types rather than the actual constraints

Natasha Yogananda Jeppu
authored and
danielsn
committed
Regression tests for --xml-ui and plain

Natasha Yogananda Jeppu
authored and
danielsn
committed
Regression tests for --xml-ui and plain

Natasha Yogananda Jeppu
authored and
danielsn
committed
Regression tests for --xml-ui and plain

Natasha Yogananda Jeppu
authored and
danielsn
committed