Replace a missing return value by nondet#1906

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:missing-return-semantics

Jun 1, 2018

Commits on Apr 16, 2018

Replace a missing return value by nondet
tautschnig
committed