Lazy methods: fault in static initializer if a static method is called#1044

forejtv merged 1 commit intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

smowton:smowton/fix/lazy_loading_clinit_on_static_callsmowton/cbmc:smowton/fix/lazy_loading_clinit_on_static_callCopy head branch name to clipboard