Well-formedness checking of SSA equation [depends on #3480]#3287

Merged

tautschnig merged 2 commits intodiffblue:developfrom

xbauch:feature/ssa_validate

Dec 1, 2018

Commits on Nov 30, 2018

Make validation mode parameter explicit in DATA_CHECK() macros

danpoe
authored and
Petr Bauch
committed
Well-formedness checking for SSA

Petr Bauch
authored and
Petr Bauch
committed