JBMC: add property checks on a per-function basis#1739

Closed

smowton wants to merge 5 commits intodiffblue:developfrom

smowton:smowton/feature/goto_check_per_function

Commits on Jan 15, 2018

Commits on Jan 16, 2018

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

Commits on Jan 22, 2018

JBMC: add property checks on a per-function basis
smowton
committed