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

Division by zero error in `issue714` test #853

Open MatthewDaggitt opened 1 month ago

MatthewDaggitt commented 1 month ago

The actual test of Marabou seems to be falling over on a division by zero error somewhere during normalisation. This is weird as we specifically have a guard against division by zero in the spec... More investigation required.

This test isn't run on the automated test suite as it requires Marabou.