From 7d490143f3f1b6289033aea5c1ba3d88ac231720 Mon Sep 17 00:00:00 2001 From: christophkloeffel Date: Mon, 29 Jul 2024 10:11:49 +0200 Subject: [PATCH] adds changelogs for 0.9.17 release --- CHANGELOG.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 00c1ff11..59043c6d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,6 +5,14 @@ ### 0.9.17 +* The `lobster-python` tool now adds the line number to the function + identifier. This supports situations where different functions have + the same name + +* The `lobster-json` tool now adds the filename to the test identifier. + This allows to have multiple json elements with the same name in + different source files + * The `lobster-html-report` tool now supports argument `--dot` to specify the path to the graphviz dot utility instead of expecting it in PATH