10 Commits

Author	SHA1	Message	Date
howardwu	f40ba91784	Rename types -> typed	2020-08-02 20:56:22 -07:00
collin	fb45ac7498	rename inputs -> input	2020-07-31 19:39:30 -07:00
collin	e22e962588	rename leo-inputs -> leo-input	2020-07-31 18:49:01 -07:00
collin	7137c98745	adds check for integer parsing error vs integer computation error in tests	2020-07-31 14:06:01 -07:00
collin	63342e7b10	fix int tests	2020-07-30 16:20:31 -07:00
collin	1707d43be0	fix indents	2020-07-17 12:59:18 -07:00
collin	c3e2ba420f	rename _test to test_	2020-07-16 21:27:40 -07:00
collin	dbaa334eb6	add checked neg check in tests	2020-07-16 21:26:39 -07:00
collin	2f39ecdbc3	impl infra for i type tests	2020-07-15 21:31:23 -07:00
collin	bfda4bb95c	fix tests	2020-07-15 20:42:57 -07:00