Explicit nondet initialisation - #35

Closed

tautschnig wants to merge 6 commits into

diffblue:developfrom

tautschnig:explicit-nondet-initialisation

Commits on Dec 21, 2018

Flattening of ID_nondet_symbol for unbounded arrays
tautschnig
committed
a007615
More constant propagation
tautschnig
committed
9d44f13
Explicitly initialise non-static objects with non-deterministic values
tautschnig
committed
673e789
Fix for structs and nondet initialisation of pointers
tautschnig
committed
e606e4f
Non-deterministic initialisation of argc/argv/envp
tautschnig
committed
c5574b6
clang-format cleanup
tautschnig
committed
efc5608