4 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
D. Ben Knoble	303b89a6b4	add tests	2020-11-30 13:40:57 -05:00
D. Ben Knoble	3f01cc247c	dafny: add a timeLimit option and message-parsing	2020-11-30 13:28:04 -05:00
D. Ben Knoble	160af49450	update tests	2020-10-08 12:02:30 -04:00
D. Ben Knoble	c37cc1c8a3	dafny: include correct filename in lint results ... Results can come from included files, not just the current buffer.	2020-10-08 11:54:56 -04:00