New blog post published, on generating error messages and visualization for LTL-based testing.

https://wickstrom.tech/2025-11-01-error-reporting-linear-temporal-logic.html