use margin

2021-09-20 13:30:46 +10:00
parent 0b55380367
commit e3e71c1920
47 changed files with 902 additions and 902 deletions
@@ -47,7 +47,7 @@ TEST_CASE("expr_misc_1")
     0.425855872233481  -1.159439708059395  -1.540488679549322  -0.747036381125272  -1.722286962209877;\
    ";
  
-  REQUIRE( accu(abs(B - C)) == Approx(0.0) );
+  REQUIRE( accu(abs(B - C)) == Approx(0.0).margin(0.001) );
  
  // REQUIRE_THROWS(  );
  }