util: Make Assume() usable as unary expression

This commit is contained in:
MarcoFalke
2021-02-28 16:38:19 +01:00
parent d099894ec1
commit fa4cebadcf
2 changed files with 4 additions and 1 deletions

View File

@@ -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)