Skip to content

Make has_subtype and has_subexpr(expr, pred) globally available#2063

Merged
tautschnig merged 2 commits intodiffblue:developfrom
tautschnig:has-subtype
Apr 16, 2018

Commits

Commits on Apr 16, 2018