Skip to content

Commit

Permalink
chore(ci+test): Don't format JSON dumps in tests
Browse files Browse the repository at this point in the history
  • Loading branch information
byakuren-hijiri committed May 30, 2024
1 parent c0d139b commit b122dd2
Show file tree
Hide file tree
Showing 7 changed files with 117 additions and 41 deletions.
1 change: 1 addition & 0 deletions .prettierignore
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
test/contracts
32 changes: 24 additions & 8 deletions test/contracts/conditional-1.cfg.json
Original file line number Diff line number Diff line change
Expand Up @@ -9,30 +9,46 @@
"id": 145,
"stmtID": 2000,
"srcEdges": [],
"dstEdges": [147]
"dstEdges": [
147
]
},
{
"id": 146,
"stmtID": 2007,
"srcEdges": [147],
"dstEdges": [149, 150, 152]
"srcEdges": [
147
],
"dstEdges": [
149,
150,
152
]
},
{
"id": 148,
"stmtID": 2006,
"srcEdges": [149],
"srcEdges": [
149
],
"dstEdges": []
},
{
"id": 151,
"stmtID": 2012,
"srcEdges": [152],
"dstEdges": [154]
"srcEdges": [
152
],
"dstEdges": [
154
]
},
{
"id": 153,
"stmtID": 2014,
"srcEdges": [154],
"srcEdges": [
154
],
"dstEdges": []
}
],
Expand Down Expand Up @@ -67,4 +83,4 @@
}
],
"contracts": []
}
}
26 changes: 19 additions & 7 deletions test/contracts/linear-flow-1.cfg.json
Original file line number Diff line number Diff line change
Expand Up @@ -9,24 +9,36 @@
"id": 299,
"stmtID": 4012,
"srcEdges": [],
"dstEdges": [301]
"dstEdges": [
301
]
},
{
"id": 300,
"stmtID": 4015,
"srcEdges": [301],
"dstEdges": [303]
"srcEdges": [
301
],
"dstEdges": [
303
]
},
{
"id": 302,
"stmtID": 4020,
"srcEdges": [303],
"dstEdges": [305]
"srcEdges": [
303
],
"dstEdges": [
305
]
},
{
"id": 304,
"stmtID": 4022,
"srcEdges": [305],
"srcEdges": [
305
],
"dstEdges": []
}
],
Expand All @@ -51,4 +63,4 @@
}
],
"contracts": []
}
}
39 changes: 29 additions & 10 deletions test/contracts/loops-1.cfg.json
Original file line number Diff line number Diff line change
Expand Up @@ -9,31 +9,50 @@
"id": 450,
"stmtID": 6029,
"srcEdges": [],
"dstEdges": [452]
"dstEdges": [
452
]
},
{
"id": 451,
"stmtID": 6032,
"srcEdges": [452],
"dstEdges": [454]
"srcEdges": [
452
],
"dstEdges": [
454
]
},
{
"id": 453,
"stmtID": 6046,
"srcEdges": [454, 459],
"dstEdges": [460]
"srcEdges": [
454,
459
],
"dstEdges": [
460
]
},
{
"id": 455,
"stmtID": 6040,
"srcEdges": [456],
"dstEdges": [458]
"srcEdges": [
456
],
"dstEdges": [
458
]
},
{
"id": 457,
"stmtID": 6045,
"srcEdges": [458],
"dstEdges": [459]
"srcEdges": [
458
],
"dstEdges": [
459
]
},
{
"id": 461,
Expand Down Expand Up @@ -78,4 +97,4 @@
}
],
"contracts": []
}
}
40 changes: 30 additions & 10 deletions test/contracts/readonly-1.cfg.json
Original file line number Diff line number Diff line change
Expand Up @@ -9,36 +9,56 @@
"id": 606,
"stmtID": 8051,
"srcEdges": [],
"dstEdges": [608]
"dstEdges": [
608
]
},
{
"id": 607,
"stmtID": 8054,
"srcEdges": [608],
"dstEdges": [610]
"srcEdges": [
608
],
"dstEdges": [
610
]
},
{
"id": 609,
"stmtID": 8057,
"srcEdges": [610],
"dstEdges": [612]
"srcEdges": [
610
],
"dstEdges": [
612
]
},
{
"id": 611,
"stmtID": 8064,
"srcEdges": [612],
"dstEdges": [614, 615, 617]
"srcEdges": [
612
],
"dstEdges": [
614,
615,
617
]
},
{
"id": 613,
"stmtID": 8063,
"srcEdges": [614],
"srcEdges": [
614
],
"dstEdges": []
},
{
"id": 616,
"stmtID": 8066,
"srcEdges": [617],
"srcEdges": [
617
],
"dstEdges": []
}
],
Expand Down Expand Up @@ -78,4 +98,4 @@
}
],
"contracts": []
}
}
18 changes: 13 additions & 5 deletions test/contracts/readonly-2.cfg.json
Original file line number Diff line number Diff line change
Expand Up @@ -9,18 +9,26 @@
"id": 762,
"stmtID": 10059,
"srcEdges": [],
"dstEdges": [764]
"dstEdges": [
764
]
},
{
"id": 763,
"stmtID": 10062,
"srcEdges": [764],
"dstEdges": [766]
"srcEdges": [
764
],
"dstEdges": [
766
]
},
{
"id": 765,
"stmtID": 10064,
"srcEdges": [766],
"srcEdges": [
766
],
"dstEdges": []
}
],
Expand All @@ -40,4 +48,4 @@
}
],
"contracts": []
}
}
2 changes: 1 addition & 1 deletion test/contracts/zero-address.cfg.json
Original file line number Diff line number Diff line change
Expand Up @@ -22,4 +22,4 @@
]
}
]
}
}

0 comments on commit b122dd2

Please sign in to comment.