Add option to `golden-executable` to only show size of diffs for certain extensions - Githubissues

vehicle-lang / vehicle

A toolkit for enforcing logical specifications on neural networks

https://vehicle-lang.readthedocs.io/

Other

81 stars 7 forks source link

Add option to `golden-executable` to only show size of diffs for certain extensions #763

Closed MatthewDaggitt closed 10 months ago