projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c06283) | patch
FP: Use Assert instead of AlwaysAssert in traits::(pre|post)condition. (#5121)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 23 Sep 2020 03:46:17 +0000 (20:46 -0700)
committerGitHub <noreply@github.com>
Wed, 23 Sep 2020 03:46:17 +0000 (20:46 -0700)
commite7c50fad0015527e854b3ceee692907e8242a05b
tree2926e2cd4e2a0d2d48b5347fdf3e9995bf5dbc4etree
parent5c062833d435e3dde5db3a8223c379a3e8cca520commit | diff
FP: Use Assert instead of AlwaysAssert in traits::(pre|post)condition. (#5121)

For the same reason as in #5119.
src/theory/fp/fp_converter.cpp diff | blob | history
src/util/floatingpoint.cpp diff | blob | history