4 Commits

Author	SHA1	Message	Date
Ralf Jung	18d7394071	more compile-fail ptr equality tests, to rule out any non-determinism; and fix ptr equality to fail all of them. ... At least these are the cases I can think of right now.	2018-09-17 10:02:31 +02:00
Ralf Jung	f56841d974	unignore a bunch of tests that actually work	2018-08-30 15:57:17 +02:00
Oliver Schneider	cf92528426	Add windows support	2017-09-16 14:02:59 +02:00
Oliver Schneider	ef29e6a30b	Add fullmir tests	2017-06-21 08:57:17 +02:00