Skip to content

Commit 3bd2374

Browse files
committed
Test clean up and baseline regeneration
1 parent a5e0c44 commit 3bd2374

File tree

9 files changed

+49
-218
lines changed

9 files changed

+49
-218
lines changed

go-lisa/go-testcases/unhandled-errors/cosmos-gravity-bridge-abci.go renamed to go-lisa/go-testcases/unhandled-errors/cosmos-panic/cosmos-gravity-bridge/cosmos-gravity-bridge-abci.go

File renamed without changes.

go-lisa/go-testcases/unhandled-errors/cosmos-panic.go renamed to go-lisa/go-testcases/unhandled-errors/cosmos-panic/cosmos-panic1/cosmos-panic.go

File renamed without changes.

go-lisa/go-testcases/unhandled-errors/cosmos-panic2.go renamed to go-lisa/go-testcases/unhandled-errors/cosmos-panic/cosmos-panic2/cosmos-panic2.go

File renamed without changes.

go-lisa/go-testcases/unhandled-errors/cosmos-panic3.go renamed to go-lisa/go-testcases/unhandled-errors/cosmos-panic/cosmos-panic3/cosmos-panic3.go

File renamed without changes.

go-lisa/go-testcases/unhandled-errors/hf-unhandled-errors.go renamed to go-lisa/go-testcases/unhandled-errors/hf-unhandled-errors/hf-unhandled-errors.go

File renamed without changes.
Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
{
2+
"warnings" : [ {
3+
"message" : "['go-testcases/unhandled-errors/hf-unhandled-errors/hf-unhandled-errors.go':17:35] on 'untyped SimpleAsset::Invoke(*SimpleAsset t, shim.ChaincodeStubInterface stub)': [EXPRESSION] Unhandled error of a blockchain read operation. It is discarded during the assignment."
4+
}, {
5+
"message" : "['go-testcases/unhandled-errors/hf-unhandled-errors/hf-unhandled-errors.go':19:37] on 'untyped SimpleAsset::Invoke(*SimpleAsset t, shim.ChaincodeStubInterface stub)': [EXPRESSION] Unhandled error of a blockchain write operation. The error seems not assigned in any variable"
6+
}, {
7+
"message" : "['go-testcases/unhandled-errors/hf-unhandled-errors/hf-unhandled-errors.go':21:41] on 'untyped SimpleAsset::Invoke(*SimpleAsset t, shim.ChaincodeStubInterface stub)': [EXPRESSION] Unhandled error of a blockchain write operation. It is discarded during the assignment."
8+
}, {
9+
"message" : "['go-testcases/unhandled-errors/hf-unhandled-errors/hf-unhandled-errors.go':23:37] on 'untyped SimpleAsset::Invoke(*SimpleAsset t, shim.ChaincodeStubInterface stub)': [EXPRESSION] Unhandled error of a blockchain read operation. It seems not checked in any condition statements in the method"
10+
} ],
11+
"files" : [ "report.json" ],
12+
"info" : {
13+
"cfgs" : "1",
14+
"duration" : "48ms",
15+
"end" : "2025-09-28T11:36:10.109+02:00",
16+
"expressions" : "35",
17+
"files" : "0",
18+
"globals" : "6",
19+
"members" : "44",
20+
"programs" : "1",
21+
"start" : "2025-09-28T11:36:10.061+02:00",
22+
"statements" : "6",
23+
"units" : "10",
24+
"version" : "0.1",
25+
"warnings" : "4"
26+
},
27+
"configuration" : {
28+
"analysisGraphs" : "NONE",
29+
"descendingPhaseType" : "NONE",
30+
"dumpForcesUnwinding" : "false",
31+
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
32+
"glbThreshold" : "5",
33+
"hotspots" : "unset",
34+
"jsonOutput" : "true",
35+
"openCallPolicy" : "WorstCasePolicy",
36+
"optimize" : "false",
37+
"recursionWideningThreshold" : "5",
38+
"semanticChecks" : "",
39+
"serializeInputs" : "false",
40+
"serializeResults" : "false",
41+
"syntacticChecks" : "UnhandledErrorsChecker",
42+
"useWideningPoints" : "true",
43+
"wideningThreshold" : "5",
44+
"workdir" : "go-outputs/unhandled-errors/hf-unhandled-errors"
45+
}
46+
}

go-lisa/go-testcases/unhandled-errors/report.json

Lines changed: 0 additions & 42 deletions
This file was deleted.

go-lisa/src/test/java/ReadWriteTest.java

Lines changed: 0 additions & 174 deletions
This file was deleted.

go-lisa/src/test/java/UnhandledErrorsTest.java

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,14 +5,15 @@
55

66
public class UnhandledErrorsTest extends GoChaincodeTestExecutor {
77

8+
89
@Test
910
public void testUnhandledErrors() throws AnalysisSetupException {
1011
CronConfiguration conf = new CronConfiguration();
1112
conf.syntacticChecks.add(new UnhandledErrorsChecker());
1213
conf.jsonOutput = true;
1314
conf.compareWithOptimization = false;
14-
conf.testDir = "unhandled-errors";
15-
conf.programFile = "unhandled-errors.go";
15+
conf.testDir = "unhandled-errors/hf-unhandled-errors";
16+
conf.programFile = "hf-unhandled-errors.go";
1617
perform(conf);
1718
}
1819
}

0 commit comments

Comments
 (0)