PyBanquo 0.1.1
Major Features
STL formula parsing
STL formula parsing is handled using the functionality provided by the banquo-parser library. We introduce the banquo.stl submodule to contain the parsing functionality and the type of the parsed formula.
Error Handling
The error handling for custom metric types has been overhauled to avoid depending on the pyo3::exceptions::PanicError. The PyMetric data type has been refactored to contain a Result<Py<PyAny>> which is used to contain any errors that might be generated during operator application if the Python value does not support the required operation. After the trace is evaluated, each metrics value is inspected to determine if there are any errors, and the metrics internal Result value is reset to Ok. This implementation is slightly less efficient because it does not terminate execution the first time an operator generates an exception and it requires a second iteration of the trace, but it does ensure that the python bindings do not panic.
Minor features
none
Fixes
- Fix the Next operator not correctly wrapping its internal formula implementation.