This repository was archived by the owner on Jul 19, 2024. It is now read-only.
This repository was archived by the owner on Jul 19, 2024. It is now read-only.
Inelegant errors for stability checking #11
Description
When a model reveals a bug in the underlying solver (e.g. #8 ) the UI returns a confusing error message from the underlying API.
Given that the only expected error is an Azure timeout, so a more informative result should be returned to indicate to the user that the issue lies in the underlying SAT solver and that they should contact BMA developers to fix the problem.