diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-09-22 20:46:17 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-22 20:46:17 -0700 |
commit | e7c50fad0015527e854b3ceee692907e8242a05b (patch) | |
tree | 2926e2cd4e2a0d2d48b5347fdf3e9995bf5dbc4e /src/util/floatingpoint.cpp | |
parent | 5c062833d435e3dde5db3a8223c379a3e8cca520 (diff) |
FP: Use Assert instead of AlwaysAssert in traits::(pre|post)condition. (#5121)
For the same reason as in #5119.
Diffstat (limited to 'src/util/floatingpoint.cpp')
-rw-r--r-- | src/util/floatingpoint.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/util/floatingpoint.cpp b/src/util/floatingpoint.cpp index bac56af69..631f8241c 100644 --- a/src/util/floatingpoint.cpp +++ b/src/util/floatingpoint.cpp @@ -442,17 +442,17 @@ rm traits::RTZ(void) { return ::CVC4::roundTowardZero; }; void traits::precondition(const prop &p) { - AlwaysAssert(p); + Assert(p); return; } void traits::postcondition(const prop &p) { - AlwaysAssert(p); + Assert(p); return; } void traits::invariant(const prop &p) { - AlwaysAssert(p); + Assert(p); return; } } |