migrated test-data
small fix
disabled the choice of SatAbs
added float-overflow-check
integrated the --refinement option of CBMC
improvement in robustness analyses
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core