Fix invariant: value must be strictly positive#2420

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:vs-invariant

Jul 7, 2018

Commits on Jun 23, 2018

Fix invariant: value must be strictly positive
tautschnig
committed