Skip to content

Use conjunction instead of piecewise construction of and_exprt [blocks: #3800]#3906

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:deprecation-conjunction
Jan 24, 2019

Commits

Commits on Jan 24, 2019