From d3613c56133c096585e5ce4ba1f591b18c9b6b4a Mon Sep 17 00:00:00 2001 From: Remy Willems Date: Wed, 23 Oct 2024 17:43:00 +0200 Subject: [PATCH] Add release note --- docs/dev/news/5832.feat | 1 + 1 file changed, 1 insertion(+) create mode 100644 docs/dev/news/5832.feat diff --git a/docs/dev/news/5832.feat b/docs/dev/news/5832.feat new file mode 100644 index 0000000000..bb16a055ec --- /dev/null +++ b/docs/dev/news/5832.feat @@ -0,0 +1 @@ +Introduce the attributes {:isolate} and {:isolate "paths} that simplify the verification of an assertion by introducing additional verification jobs. {:isolate} can be applied to `assert`, `return` and `continue` statements. When using `{:isolate_assertions}` or `--isolate-assertions`, each return statement now creates a separate verification job for each ensures clause. Previously all ensures clauses where verified in a single job, for all return statements. \ No newline at end of file