Summary

Handling application parameters is a hassle, so we simplified it.

All parameters can now be passed in with consistent names and clear priorities regarding their origin. Along the way support for environment variables was added as well to make integration into scripts and pipelines easier. More details can be found at Configuration options.

What's Changed

• Feat: Streamline option handling (#530)
• Fix: FuzzedDataProvider crash on float length (#552)
• Fix: Always log internal messages to stderr (#576)

Full Changelog: v1.6.1...v1.7.0