Skip to content

Fix for the handling of constant arrays and members of structs being marked nondet.#1654

Merged
tautschnig merged 2 commits intodiffblue:developfrom
NlightNFotis:fotis/pb10_develop
Dec 8, 2017

Commits

Commits on Dec 8, 2017