Skip to content

Commit 1558e02

Browse files
update data.json
1 parent c702be7 commit 1558e02

File tree

1 file changed

+13
-1
lines changed
  • TestVectors/runtimes/go/TestsFromDafny-go

1 file changed

+13
-1
lines changed

TestVectors/runtimes/go/TestsFromDafny-go/data.json

Lines changed: 13 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,19 @@
11
{
22
"Strings": [
33
"",
4-
"abc"
4+
"abc",
5+
"𐀂abc",
6+
"abc𐀂",
7+
"퀀",
8+
"퀀𐀂",
9+
"",
10+
"﹌𐀂",
11+
"𐀂﹌",
12+
"𐀂퀀",
13+
"𐀁𐀁",
14+
"𠀂",
15+
"𐀁𐀂",
16+
"𐀂𐀁"
517
],
618
"RoundTripTest": {
719
"Configs": {

0 commit comments

Comments
 (0)