Code for Object.getClass in bytecode conversion#945

forejtv merged 2 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

romainbrenguier:feature/object-get-classromainbrenguier/cbmc:feature/object-get-classCopy head branch name to clipboard