search

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 broken unit tests from previous PR #857

Closed MatthewDaggitt closed 1 month ago

MatthewDaggitt commented 1 month ago

I've hopefully fixed the merge queue, so it won't merge with broken tests :crossed_fingers: