5 Commits

Author	SHA1	Message	Date
Scott Olson	66eb109070	Properly handle generic fn calls.	2016-03-13 18:33:26 -06:00
Scott Olson	1a27734a7b	Reimplement cross-crate function calls.	2016-03-13 17:19:42 -06:00
Scott Olson	7740268dd5	Reimplement crate-local function calls.	2016-03-13 16:08:23 -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