This utility class is used by the preprocessor macros to appropriately handle precondition violations that occur in different levels and components.

Synopsis

Declared in <bsls_fuzztest.h>

struct FuzzTestPreconditionTracker;

Static Member Functions

Name

Description

handleAssertViolation

Handle an assertion violation for fuzz‐test precondition tracking.

handleException

Handle a caught fuzz‐test precondition exception.

handlePreconditionsBegin

Increment the assertion/review block depth level counter.

handlePreconditionsEnd

Record the end of a precondition assertion/review block.

handleReviewViolation

Handle a review violation for fuzz‐test precondition tracking.

initStaticState

Initialize static state before evaluating a top‐level fuzz‐test expression.

Created with MrDocs