diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-03-27 17:02:10 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-03-27 17:02:10 -0700 |
commit | e3c4fe699414fd79ab14547a53ae5cbdc388e86d (patch) | |
tree | dffb2f338169349a74135dd6eafc5a06ebb82cb6 | |
parent | 0db3629ebf3fb1257910afa086b23eca8ad50833 (diff) |
Make a unit test failactions-ci-pr
-rw-r--r-- | test/unit/api/solver_black.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/api/solver_black.h b/test/unit/api/solver_black.h index 0eefde700..30578cfa0 100644 --- a/test/unit/api/solver_black.h +++ b/test/unit/api/solver_black.h @@ -557,7 +557,7 @@ void SolverBlack::testMkString() TS_ASSERT_THROWS_NOTHING(d_solver->mkString("asdfasdf")); TS_ASSERT_EQUALS(d_solver->mkString("asdf\\nasdf").toString(), "\"asdf\\u{5c}nasdf\""); - TS_ASSERT_EQUALS(d_solver->mkString("asdf\\u{005c}nasdf", true).toString(), + TS_ASSERT_DIFFERS(d_solver->mkString("asdf\\u{005c}nasdf", true).toString(), "\"asdf\\u{5c}nasdf\""); } |