2 Commits

Author	SHA1	Message	Date
Dave Halter	d7d9c9642a	Don't use goto_definitions anymore, use infer	2019-12-20 19:06:24 +01:00
Dave Halter	e4d1e5455f	test_evaluate -> test_inference	2019-08-14 23:56:44 +02:00