Update data.json

rishav-karanjit · web-flow · commit 91e2938f7b23 · 2025-03-13T12:22:59.000-07:00
diff --git a/TestVectors/runtimes/go/TestsFromDafny-go/data.json b/TestVectors/runtimes/go/TestsFromDafny-go/data.json
@@ -1,19 +1,7 @@
 {
   "Strings": [
     "",
-    "abc",
-    "𐀂abc",
-    "abc𐀂",
-    "퀀",
-    "퀀𐀂",
-    "﹌",
-    "﹌𐀂",
-    "𐀂﹌",
-    "𐀂퀀",
-    "𐀁𐀁",
-    "𠀂",
-    "𐀁𐀂",
-    "𐀂𐀁"
+    "abc"
   ],
   "RoundTripTest": {
     "Configs": {
