2 Commits

Include renames

Author	SHA1	Message	Date
peter	b578571fb7	dfa too complex tests: ensure variables are alive all the time	2014-09-21 14:05:50 +02:00
peter	12ef8082a1	fighting too complex methods: merge states which differ only in unknown variables	2013-09-26 23:33:22 +02:00