test_c_veri_bsv_modules_options FloatTest {} {+RTS -K13M -RTS}

# Test that aggressive condition lifting isn't needed for correctness
test_c_veri_bsv_modules_options Float_Divide_TestConds {} {-no-aggressive-conditions}
test_c_veri_bsv_modules_options Float_SquareRoot_TestConds {} {-no-aggressive-conditions}