Descartes 1.2.1
oscarlvp
released this
19 Jun 23:41
·
192 commits
to master
since this release
This release adds more information to the METHODS
reporter, so a method can be found in the corresponding class.