Thanks to visit codestin.com
Credit goes to github.com

Skip to content

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

Merged
NikolajBjorner merged 1 commit intoZ3Prover:masterfrom
mtzguido:sort_fix
Jun 23, 2023
Merged

bool_rewriter: fix possible segfault when disabling rewriter.sort_dis…#6779
NikolajBjorner merged 1 commit intoZ3Prover:masterfrom
mtzguido:sort_fix

Commits

Commits on Jun 23, 2023