Code

Add Java local variable symbols#385

Code

Merged

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:add_local_variable_symbols_mastersmowton/cbmc:add_local_variable_symbols_masterCopy head branch name to clipboard

Jan 4, 2017

Commits

Commits on Jan 4, 2017

• Add Java locals to the symbol table and give them declarations

  Show description for 54fab5b
  smowton

  committed
  54fab5b

  Copy full SHA for 54fab5b

• cpplint fixes for java_bytecode_convert_method.cpp

  smowton

  committed
  55ef3ff

  Copy full SHA for 55ef3ff