Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Classes | Namespaces | Macros | Enumerations | Functions
assert.hpp File Reference
#include "barretenberg/common/bb_bench.hpp"
#include "barretenberg/common/compiler_hints.hpp"
#include "barretenberg/common/throw_or_abort.hpp"
#include <cstdint>
#include <regex>
#include <sstream>
#include "barretenberg/common/log.hpp"
#include <cassert>
#include <cstdlib>
#include <iostream>
#include <string>

Go to the source code of this file.

Classes

struct  bb::AssertGuard
 

Namespaces

namespace  bb
 Entry point for Barretenberg command-line interface.
 

Macros

#define BB_BENCH_ASSERT(x)
 
#define BB_DISABLE_ASSERTS()   bb::AssertGuard __bb_assert_guard(bb::AssertMode::WARN)
 
#define DONT_EVALUATE(expression)
 
#define BB_ASSERT_DEBUG(expression, ...)   BB_ASSERT(expression, __VA_ARGS__)
 
#define BB_ASSERT(expression, ...)
 
#define BB_ASSERT_EQ(actual, expected, ...)
 
#define BB_ASSERT_NEQ(actual, expected, ...)
 
#define BB_ASSERT_GT(left, right, ...)
 
#define BB_ASSERT_GTE(left, right, ...)
 
#define BB_ASSERT_LT(left, right, ...)
 
#define BB_ASSERT_LTE(left, right, ...)
 
#define ASSERT_THROW_OR_ABORT(statement, matcher)   ASSERT_THROW(statement, std::runtime_error)
 
#define EXPECT_THROW_OR_ABORT(statement, matcher)   EXPECT_THROW(statement, std::runtime_error)
 
#define EXPECT_THROW_WITH_MESSAGE(code, expectedMessageRegex)
 

Enumerations

enum class  bb::AssertMode : std::uint8_t { bb::ABORT , bb::WARN }
 

Functions

AssertMode & bb::get_assert_mode ()
 
void bb::assert_failure (std::string const &err)
 

Macro Definition Documentation

◆ ASSERT_THROW_OR_ABORT

#define ASSERT_THROW_OR_ABORT (   statement,
  matcher 
)    ASSERT_THROW(statement, std::runtime_error)

Definition at line 190 of file assert.hpp.

◆ BB_ASSERT

#define BB_ASSERT (   expression,
  ... 
)
Value:
do { \
BB_BENCH_ASSERT("BB_ASSERT" #expression); \
if (!(BB_LIKELY(expression))) { \
std::ostringstream oss; \
oss << "Assertion failed: (" #expression ")"; \
__VA_OPT__(oss << "\nReason : " << __VA_ARGS__;) \
info(oss.str()); \
bb::assert_failure(oss.str()); \
} \
} while (0)
info
void info(Args... args)
Definition log.hpp:89
BB_LIKELY
#define BB_LIKELY(x)
Definition compiler_hints.hpp:24

Definition at line 80 of file assert.hpp.

◆ BB_ASSERT_DEBUG

#define BB_ASSERT_DEBUG (   expression,
  ... 
)    BB_ASSERT(expression, __VA_ARGS__)

Definition at line 55 of file assert.hpp.

◆ BB_ASSERT_EQ

#define BB_ASSERT_EQ (   actual,
  expected,
  ... 
)
Value:
do { \
BB_BENCH_ASSERT("BB_ASSERT_EQ" #actual " == " #expected); \
const auto& _actual = (actual); \
const auto& _expected = (expected); \
if (!(BB_LIKELY(_actual == _expected))) { \
std::ostringstream oss; \
oss << "Assertion failed: (" #actual " == " #expected ")\n"; \
oss << " Actual : " << _actual << "\n"; \
oss << " Expected: " << _expected; \
__VA_OPT__(oss << "\n Reason : " << __VA_ARGS__;) \
bb::assert_failure(oss.str()); \
} \
} while (0)
bb::assert_failure
void assert_failure(std::string const &err)
Definition assert.cpp:11
Examples
/opt/build/repo/barretenberg/cpp/src/barretenberg/common/zip_view.hpp.

Definition at line 93 of file assert.hpp.

◆ BB_ASSERT_GT

#define BB_ASSERT_GT (   left,
  right,
  ... 
)
Value:
do { \
BB_BENCH_ASSERT("BB_ASSERT_GT" #left " > " #right); \
const auto& _left = (left); \
const auto& _right = (right); \
if (!(BB_LIKELY(_left > _right))) { \
std::ostringstream oss; \
oss << "Assertion failed: (" #left " > " #right ")\n"; \
oss << " Left : " << _left << "\n"; \
oss << " Right : " << _right; \
__VA_OPT__(oss << "\n Reason : " << __VA_ARGS__;) \
bb::assert_failure(oss.str()); \
} \
} while (0)

Definition at line 123 of file assert.hpp.

◆ BB_ASSERT_GTE

#define BB_ASSERT_GTE (   left,
  right,
  ... 
)
Value:
do { \
BB_BENCH_ASSERT("BB_ASSERT_GTE" #left " >= " #right); \
const auto& _left = (left); \
const auto& _right = (right); \
if (!(BB_LIKELY(_left >= _right))) { \
std::ostringstream oss; \
oss << "Assertion failed: (" #left " >= " #right ")\n"; \
oss << " Left : " << _left << "\n"; \
oss << " Right : " << _right; \
__VA_OPT__(oss << "\n Reason : " << __VA_ARGS__;) \
bb::assert_failure(oss.str()); \
} \
} while (0)

Definition at line 138 of file assert.hpp.

◆ BB_ASSERT_LT

#define BB_ASSERT_LT (   left,
  right,
  ... 
)
Value:
do { \
BB_BENCH_ASSERT("BB_ASSERT_LT" #left " < " #right); \
const auto& _left = (left); \
const auto& _right = (right); \
if (!(BB_LIKELY(_left < _right))) { \
std::ostringstream oss; \
oss << "Assertion failed: (" #left " < " #right ")\n"; \
oss << " Left : " << _left << "\n"; \
oss << " Right : " << _right; \
__VA_OPT__(oss << "\n Reason : " << __VA_ARGS__;) \
bb::assert_failure(oss.str()); \
} \
} while (0)

Definition at line 153 of file assert.hpp.

◆ BB_ASSERT_LTE

#define BB_ASSERT_LTE (   left,
  right,
  ... 
)
Value:
do { \
BB_BENCH_ASSERT("BB_ASSERT_LTE" #left " <= " #right); \
const auto& _left = (left); \
const auto& _right = (right); \
if (!(BB_LIKELY(_left <= _right))) { \
std::ostringstream oss; \
oss << "Assertion failed: (" #left " <= " #right ")\n"; \
oss << " Left : " << _left << "\n"; \
oss << " Right : " << _right; \
__VA_OPT__(oss << "\n Reason : " << __VA_ARGS__;) \
bb::assert_failure(oss.str()); \
} \
} while (0)

Definition at line 168 of file assert.hpp.

◆ BB_ASSERT_NEQ

#define BB_ASSERT_NEQ (   actual,
  expected,
  ... 
)
Value:
do { \
BB_BENCH_ASSERT("BB_ASSERT_NEQ" #actual " != " #expected); \
const auto& _actual = (actual); \
const auto& _expected = (expected); \
if (!(BB_LIKELY(_actual != _expected))) { \
std::ostringstream oss; \
oss << "Assertion failed: (" #actual " != " #expected ")\n"; \
oss << " Actual : " << _actual << "\n"; \
oss << " Not expected: " << _expected; \
__VA_OPT__(oss << "\n Reason : " << __VA_ARGS__;) \
bb::assert_failure(oss.str()); \
} \
} while (0)

Definition at line 108 of file assert.hpp.

◆ BB_BENCH_ASSERT

#define BB_BENCH_ASSERT (   x)

Definition at line 13 of file assert.hpp.

◆ BB_DISABLE_ASSERTS

#define BB_DISABLE_ASSERTS ( )    bb::AssertGuard __bb_assert_guard(bb::AssertMode::WARN)

Definition at line 33 of file assert.hpp.

◆ DONT_EVALUATE

#define DONT_EVALUATE (   expression)
Value:
{ \
true ? static_cast<void>(0) : static_cast<void>((expression)); \
}

Definition at line 37 of file assert.hpp.

◆ EXPECT_THROW_OR_ABORT

#define EXPECT_THROW_OR_ABORT (   statement,
  matcher 
)    EXPECT_THROW(statement, std::runtime_error)

Definition at line 191 of file assert.hpp.

◆ EXPECT_THROW_WITH_MESSAGE

#define EXPECT_THROW_WITH_MESSAGE (   code,
  expectedMessageRegex 
)
Value:
try { \
code; \
FAIL() << "Expected exception with message matching: " << expectedMessageRegex; \
} catch (const std::exception& e) { \
EXPECT_TRUE(std::regex_search(std::string(e.what()), std::regex(expectedMessageRegex))) \
<< "Exception message: " << e.what() << "\nExpected to match regex: " << expectedMessageRegex; \
}
std::get
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13

Definition at line 192 of file assert.hpp.