Fatal failure in cvc5::internal::symfpuLiteral::traits::precondition() at src/util/floatingpoint_literal_symfpu_traits.cpp:405

[cvc5-bot]

cvc5/cvc5@3de6b61
murxla/murxla@51c21ba

(set-option :produce-models true)
(declare-const x RoundingMode)
(check-sat)
(get-value (((_ fp.to_sbv 24) x ((_ to_fp 11 53) x #b1000000000000000000000000000000000000000))))

error:

Fatal failure within static void cvc5::internal::symfpuLiteral::traits::precondition(const prop&) at ../src/util/floatingpoint_literal_symfpu_traits.cpp:405
Check failure

 p

Related issue without safe-options: #513

[ajreynol]

This doesn't reproduce with safe-options, likely ddsmt over-minimized this one.