Skip to content

include: remove WARN_UNUSED_RESULT for functions always returning 1 #686

include: remove WARN_UNUSED_RESULT for functions always returning 1

include: remove WARN_UNUSED_RESULT for functions always returning 1 #686

SageMath prover

succeeded Mar 13, 2025 in 56s