Make replace_java_nondet() work even if remove_returns() hasn't been run#1962

Merged

thk123 merged 2 commits intodiffblue:developfrom

owen-mc-diffblue:owen-jones-diffblue/simplify-replace-java-nondet

Apr 16, 2018

Commits on Apr 16, 2018

Make remove_java_nondet work before remove_returns
Owen Jones
committed
Add unit test for java_replace_nondet
Owen Jones
committed