4 Commits

Author	SHA1	Message	Date
Ralf Jung	cd138bcd0b	test more operations on dangling ZST pointers	2018-09-17 10:02:31 +02:00
Ralf Jung	744780e794	more hacks to make test cases pass	2017-07-25 17:31:40 -07:00
Oliver Schneider	f2d0101065	Also test optimized MIR	2017-07-20 20:25:43 +02:00
Oliver Schneider	0f578f0d2e	fully implement size_of_val and add various tests that now succeed	2016-09-22 13:00:43 +02:00