4 Commits

Author	SHA1	Message	Date
Tom Hvitved	9c503c1591	C#: Add more data/control-flow tests	2020-10-07 17:10:01 +02:00
Tom Hvitved	610be85c8c	C#: Add CFG test for multiple-field Boolean splitting	2018-11-30 10:32:08 +01:00
Tom Hvitved	841218540e	C#: Add CFG test ... This test exhibits two issues with Boolean CFG splitting: incorrect handling of negated variables and incorrect splitting for variables defined inside a loop.	2018-11-20 21:22:00 +01:00
Tom Hvitved	e8cd99335a	C#: Simple Boolean control flow graph splitting	2018-09-28 14:59:39 +02:00