10#ifndef CPROVER_UTIL_OPTIONAL_H
11#define CPROVER_UTIL_OPTIONAL_H
14 #pragma clang diagnostic push ignore "-Wall"
15 #pragma clang diagnostic push ignore "-Wpedantic"
17 #pragma GCC diagnostic push ignore "-Wall"
18 #pragma GCC diagnostic push ignore "-Wpedantic"
22#include <nonstd/optional.hpp>
24 #pragma clang diagnostic pop
25 #pragma clang diagnostic pop
27 #pragma GCC diagnostic pop
28 #pragma GCC diagnostic pop
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
T & get_value_or_abort(optionalt< T > &opt)
Similar to optionalt::value but in case of empty optional, generates an invariant failure instead of ...
nonstd::optional< T > optionalt
nonstd::bad_optional_access bad_optional_accesst
#define PRECONDITION(CONDITION)