[TG-2755] Fix nondet-static option for static initializers#2658

Merged

majakusber merged 8 commits intodiffblue:developfrom

majakusber:bugfix_tg4365

Aug 23, 2018

Commits on Aug 23, 2018

Record nondet-static option in java_bytecode_language
svorenova
committed
Pass information to clinit_wrapper constructors
svorenova
committed
Nondet-initialize variables in clinit_wrapper constructor
svorenova
committed
Mark final fields in Java as constants
svorenova
committed
Add nondet-static option to JBMC
svorenova
committed
Add a regression test for nondet-static
svorenova
committed
Perform nondet-init in clinit_wrapper even if clinit doesn't exist
svorenova
committed
Add a comment to static field with the name of the field
svorenova
committed