Add comment explaining impact of option in test case

Co-authored-by: Michael Schwarz <[email protected]>
goblint · Nov 22, 2022 · 3dd39e7 · 3dd39e7
1 parent a754b7d
commit 3dd39e7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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 {