Enable and use the automatic limit for array-as-uninterpreted-function (duplicated, fixes 6130)#6194

Merged

TGWDB merged 6 commits intodiffblue:developfrom

TGWDB:issue6130-auto-array

Jul 9, 2021

Commits on Jun 11, 2021

Enable and use the automatic limit for array-as-uninterpreted-function
TGWDB
committed

Commits on Jun 21, 2021

Enable and use the automatic limit for array-as-uninterpreted-function
TGWDB
committed
Merge branch 'issue6130-auto-array' of github.com:TGWDB/cbmc into issue6130-auto-array
TGWDB
committed

Commits on Jun 22, 2021

Commits on Jul 9, 2021

Revert "Add regression test for size limit check"
TGWDB
committed