Skip to content

use simplify_not instead of boolean_negate#4990

Merged
kroening merged 1 commit intodevelopfrom
boolean_negate
Aug 13, 2019

Commits

Commits on Aug 6, 2019