Skip to content

Avoid default constructing code_{assert,assume}t [blocks: #3800]#3934

Merged
martin-cs merged 1 commit intodiffblue:developfrom
tautschnig:deprecation-assert-assume
Jan 28, 2019

Commits

Commits on Jan 26, 2019