Closed markcoletti closed 1 month ago
We envision using the linter within larger workflows, such as mechanically testing for nondeterminism in existing models. To facilitate such workflows, add a --csv option to report non-deterministic functions in CSV format.
--csv
We envision using the linter within larger workflows, such as mechanically testing for nondeterminism in existing models. To facilitate such workflows, add a
--csv
option to report non-deterministic functions in CSV format.