JBMC: run convert-nondet on a per-function basis#1738

Closed

smowton wants to merge 4 commits intodiffblue:developfrom

smowton:smowton/feature/convert_nondet_per_function

Commits on Jan 15, 2018

Commits on Jan 16, 2018

JBMC: run convert-nondet on a per-function basis
smowton
committed