diff options
author | MarcoFalke <falke.marco@gmail.com> | 2021-02-28 16:38:19 +0100 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2021-03-04 12:03:50 +0100 |
commit | fa4cebadcffd9112da4b13c7cc7ccf21e2bee887 (patch) | |
tree | 934dc4c244fd2d7747feb2b751ebdb1f52c52968 /src/test/util_tests.cpp | |
parent | d099894ec124598b37bd4a0a41b2c93e0034108f (diff) |
util: Make Assume() usable as unary expression
Diffstat (limited to 'src/test/util_tests.cpp')
-rw-r--r-- | src/test/util_tests.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/test/util_tests.cpp b/src/test/util_tests.cpp index 5a46002a79..32db6d6c83 100644 --- a/src/test/util_tests.cpp +++ b/src/test/util_tests.cpp @@ -76,6 +76,9 @@ BOOST_AUTO_TEST_CASE(util_check) const int two = *Assert(p_two); Assert(two == 2); Assert(true); + // Check that Assume can be used as unary expression + const bool result{Assume(two == 2)}; + Assert(result); } BOOST_AUTO_TEST_CASE(util_criticalsection) |