Fix-up to nondet-static option [TG-4365]#2643

Merged

majakusber merged 5 commits intodiffblue:developfrom

majakusber:fixup-nondet-static

Aug 3, 2018

Commits on Aug 3, 2018

Add a new comment to mark variables that should not be nondet initialized
svorenova
committed
Mark internal Java variables with ID_C_no_nondet_initialization
svorenova
committed
Mark java.lang.String.Literals with ID_C_constant
svorenova
committed
Make nondet-static check for ID_C_no_nondet_initialization
svorenova
committed
Make nondet-static replace lines in CPROVER_init
svorenova
committed