Skip to content

Mark floating-point constants as float#2323

Merged
kroening merged 1 commit intodiffblue:developfrom
tautschnig:vs-float
Jun 10, 2018

Commits

Commits on Jun 9, 2018