Skip to content

bool_rewriter: fix possible segfault when disabling rewriter.sort_dis…#6779

Merged
NikolajBjorner merged 1 commit intoZ3Prover:masterfrom mtzguido:sort_fixJun 23, 2023
+6-4

Commits