Fix #591 by sorting query assertions before writing to disk - 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

Fix #591 by sorting query assertions before writing to disk #745

Closed MatthewDaggitt closed 11 months ago

MatthewDaggitt commented 11 months ago

Fixes #591