all-properties now shows results in an ordering#3241

Merged

kroening merged 1 commit intodevelopfrom

cbmc-goal-ordering

Oct 29, 2018

Commits on Oct 29, 2018

all-properties now shows results by function
Daniel Kroening
committed