From e25d0c2ab61b9e417389ab064d9f1937ae705f44 Mon Sep 17 00:00:00 2001
From: Everett Hildenbrandt <everett.hildenbrandt@gmail.com>
Date: Tue, 17 Sep 2024 16:57:22 +0000
Subject: [PATCH] pyk/att.py, pyk/regresion-new/{skipped,seqstrict-predicate}:
 fix bug in handling seqstrict in pyk

---
 pyk/regression-new/seqstrict-predicate/1.test.out | 11 ++++++++---
 pyk/regression-new/skipped                        |  1 -
 pyk/src/pyk/kast/att.py                           |  2 +-
 3 files changed, 9 insertions(+), 5 deletions(-)

diff --git a/pyk/regression-new/seqstrict-predicate/1.test.out b/pyk/regression-new/seqstrict-predicate/1.test.out
index 1b239a340ff..772dfcc1211 100644
--- a/pyk/regression-new/seqstrict-predicate/1.test.out
+++ b/pyk/regression-new/seqstrict-predicate/1.test.out
@@ -1,3 +1,8 @@
-<k>
-  10 ~> .K
-</k>
+<generatedTop>
+  <k>
+    10 ~> .K
+  </k>
+  <generatedCounter>
+    0
+  </generatedCounter>
+</generatedTop>
diff --git a/pyk/regression-new/skipped b/pyk/regression-new/skipped
index ea518c64d5b..f70534d2953 100644
--- a/pyk/regression-new/skipped
+++ b/pyk/regression-new/skipped
@@ -103,7 +103,6 @@ rand
 rangemap-tests-llvm
 rat
 search-bound
-seqstrict-predicate
 set-symbolic-tests
 set_unification
 spec-rule-application
diff --git a/pyk/src/pyk/kast/att.py b/pyk/src/pyk/kast/att.py
index 0312e5c436a..820eb97968f 100644
--- a/pyk/src/pyk/kast/att.py
+++ b/pyk/src/pyk/kast/att.py
@@ -336,7 +336,7 @@ class Atts:
     PROJECTION: Final = AttKey('projection', type=_NONE)
     RIGHT: Final = AttKey('right', type=_ANY)  # RIGHT and RIGHT_INTERNAL on the Frontend
     SIMPLIFICATION: Final = AttKey('simplification', type=_ANY)
-    SEQSTRICT: Final = AttKey('seqstrict', type=_NONE)
+    SEQSTRICT: Final = AttKey('seqstrict', type=_ANY)
     SORT: Final = AttKey('org.kframework.kore.Sort', type=_ANY)
     SOURCE: Final = AttKey('org.kframework.attributes.Source', type=_PATH)
     STRICT: Final = AttKey('strict', type=_ANY)