mirror of
https://github.com/Z3Prover/z3
synced 2025-04-22 00:26:38 +00:00
7 lines
242 B
Text
7 lines
242 B
Text
# UndefinedBehavior sanitizer suppression file
|
|
# FIXME: UBSan doesn't usually have false positives so we need to fix all of these!
|
|
|
|
# Occurs when running tptp example
|
|
# See https://github.com/Z3Prover/z3/issues/964
|
|
null:rational.h
|
|
null:mpq.h
|