Post-Violation Checks

This document describes a series of test that the fuzzer performs to distinguish between false positives (e.g., due to noise) and genuine violations.

UNDER CONSTRUCTION: If you are interested in this topic, please contact us by opening an issue on GitHub, and we will prioritize this document.