Fix a bug in the bitwise encoding of float to int casting.#359

Merged

kroening merged 1 commit intodiffblue:masterfrom

martin-cs:fix-cast-float-to-int

Dec 19, 2016

Commits on Dec 18, 2016

Fix a bug in the bitwise encoding of float to int casting.
martin
committed