remove the --fixedbv command-line option#2148

Merged

kroening merged 2 commits intodevelopfrom

remove-fixedbv-option

May 7, 2018

Commits on May 7, 2018

fix in rounder in fixed-point arithmetic class
Daniel Kroening
committed
remove the --fixedbv command-line option
Daniel Kroening
committed