From 3dd39e7abbe813ad63fe0137e6a1e17fcaa506c1 Mon Sep 17 00:00:00 2001
From: Julian Erhard <julian.erhard@yahoo.de>
Date: Tue, 22 Nov 2022 15:49:30 +0100
Subject: [PATCH] Add comment explaining impact of option in test case

Co-authored-by: Michael Schwarz <michael.schwarz93@gmail.com>
---
 tests/regression/29-svcomp/31-dd-address-meet.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/regression/29-svcomp/31-dd-address-meet.c b/tests/regression/29-svcomp/31-dd-address-meet.c
index 05f45398e9..10e686bcc9 100644
--- a/tests/regression/29-svcomp/31-dd-address-meet.c
+++ b/tests/regression/29-svcomp/31-dd-address-meet.c
@@ -1,4 +1,5 @@
 // PARAM: --enable annotation.int.enabled
+// This option enables ALL int domains for globals
 #include <stdlib.h>
 #include <goblint.h>
 struct slotvec {