U

unit-tester

Project information

Implements a Python wrapper around eflint-repl and eFLINT files with annotations that can be used to define some expected -and unexpected- output for eFLINT files, allowing one to write cleverer automated tests.

27 Commits
1 Branch
2 Tags
2 Releases

README
Apache License 2.0
CHANGELOG

Created on

June 21, 2024

Loading