aboutsummaryrefslogtreecommitdiff
path: root/src/test/util_tests.cpp
diff options
context:
space:
mode:
authorMarcoFalke <falke.marco@gmail.com>2021-02-28 16:38:19 +0100
committerMarcoFalke <falke.marco@gmail.com>2021-03-04 12:03:50 +0100
commitfa4cebadcffd9112da4b13c7cc7ccf21e2bee887 (patch)
tree934dc4c244fd2d7747feb2b751ebdb1f52c52968 /src/test/util_tests.cpp
parentd099894ec124598b37bd4a0a41b2c93e0034108f (diff)
util: Make Assume() usable as unary expression
Diffstat (limited to 'src/test/util_tests.cpp')
-rw-r--r--src/test/util_tests.cpp3
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)