38/07: Change to NOTIMEOUT

Author: michael-schwarz

tests/regression/38-int-refinements/07-enums.c

@@ -1,5 +1,5 @@
 // PARAM: --set ana.int.refinement fixpoint --enable ana.int.def_exc --enable ana.int.enums  --enable ana.int.interval --set sem.int.signed_overflow assume_none
-// FIXPOINT: Used to not reach terminate (https://github.com/goblint/analyzer/issues/1671) and (https://github.com/goblint/analyzer/issues/1673)
+// NOTIMEOUT: Used to not reach terminate (https://github.com/goblint/analyzer/issues/1671) and (https://github.com/goblint/analyzer/issues/1673)
 int main() {
    int count = 0;
    while (1) {