objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7 stars 2 forks source link

Report failing test names #357

Closed deemp closed 3 months ago

deemp commented 3 months ago

For now, the EO compiler (eoc test) produces large unreadable messages about failing tests.

It'd be nice to see just a list of failing tests like this after the pipeline fails:

rust-invalid-bind
rust-returns-positive-double
rust-copy-not-fails
rust-returns-vertex
rust-find-returns-int
rust-is-byte-array
rust-with-string-fqn
rust-returns-negative-int
rust-invalid-put
rust-returns-negative-double
rust-bind-to-copy
rust-dataize-not-fails
rust-error
rust-long-variable
rust-reversed-notation
rust-returns-positive-int
rust-is-string
rust-plus
rust-put-to-copy