5 Commits

Author	SHA1	Message	Date
Scott Olson	039014fee2	Uncomment now-working test.	2016-03-13 08:32:30 -06:00
Scott Olson	cc8b8efd33	Allow switching on non-integer types.	2016-03-13 04:50:16 -06:00
Scott Olson	397dbd909a	Add initial support for different int sizes.	2016-03-12 23:15:53 -06:00
Scott Olson	3f96b3a122	Use i64 instead of i32 in tests. ... Miri's only integer representation right now is 64-bit.	2016-03-12 22:39:12 -06:00
Scott Olson	11d4bf9b95	Split tests into multiple files.	2016-03-12 21:32:24 -06:00