Another output update for RandomVarTest.test_custom_names

runtimeverification · Jan 17, 2025 · 0eeb826 · 0eeb826
1 parent ab78122
commit 0eeb826
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/src/tests/integration/test-data/show/RandomVarTest.test_custom_names().expected b/src/tests/integration/test-data/show/RandomVarTest.test_custom_names().expected
@@ -4,6 +4,7 @@
 │   pc: 0
 │   callDepth: 0
 │   statusCode: STATUSCODE:StatusCode
+│   src: test/RandomVar.t.sol:7:68
 │   method: test%RandomVarTest.test_custom_names()
 │
 │  (369 steps)
@@ -12,6 +13,7 @@
 │   pc: 2946
 │   callDepth: 0
 │   statusCode: STATUSCODE:StatusCode
+│   src: test/RandomVar.t.sol:58:58
 │   method: test%RandomVarTest.test_custom_names()
 │
 │  (1 step)
@@ -20,6 +22,7 @@
 │   pc: 2946
 │   callDepth: 0
 │   statusCode: STATUSCODE:StatusCode
+│   src: test/RandomVar.t.sol:58:58
 │   method: test%RandomVarTest.test_custom_names()
 │
 │  (454 steps)
@@ -28,6 +31,7 @@
 │   pc: 3081
 │   callDepth: 0
 │   statusCode: STATUSCODE:StatusCode
+│   src: test/RandomVar.t.sol:59:59
 │   method: test%RandomVarTest.test_custom_names()
 │
 │  (1 step)
@@ -36,6 +40,7 @@
 │   pc: 3081
 │   callDepth: 0
 │   statusCode: STATUSCODE:StatusCode
+│   src: test/RandomVar.t.sol:59:59
 │   method: test%RandomVarTest.test_custom_names()
 │
 │  (1000 steps)
@@ -52,6 +57,7 @@
 │   pc: 5597
 │   callDepth: 0
 │   statusCode: STATUSCODE:StatusCode
+│   src: lib/kontrol-cheatcodes/src/KontrolCheats.sol:277:277
 │   method: test%RandomVarTest.test_custom_names()
 │
 │  (1 step)
@@ -60,6 +66,7 @@
 │   pc: 5597
 │   callDepth: 0
 │   statusCode: STATUSCODE:StatusCode
+│   src: lib/kontrol-cheatcodes/src/KontrolCheats.sol:277:277
 │   method: test%RandomVarTest.test_custom_names()
 │
 │  (450 steps)
@@ -68,6 +75,7 @@
 │   pc: 3445
 │   callDepth: 0
 │   statusCode: STATUSCODE:StatusCode
+│   src: test/RandomVar.t.sol:63:63
 │   method: test%RandomVarTest.test_custom_names()
 │
 │  (1 step)
@@ -76,6 +84,7 @@
 │   pc: 3445
 │   callDepth: 0
 │   statusCode: STATUSCODE:StatusCode
+│   src: test/RandomVar.t.sol:63:63
 │   method: test%RandomVarTest.test_custom_names()
 │
 │  (551 steps)
@@ -84,6 +93,7 @@
 │   pc: 3621
 │   callDepth: 0
 │   statusCode: STATUSCODE:StatusCode
+│   src: test/RandomVar.t.sol:64:64
 │   method: test%RandomVarTest.test_custom_names()
 │
 │  (1 step)
@@ -92,6 +102,7 @@
 │   pc: 3621
 │   callDepth: 0
 │   statusCode: STATUSCODE:StatusCode
+│   src: test/RandomVar.t.sol:64:64
 │   method: test%RandomVarTest.test_custom_names()
 │
 │  (261 steps)
@@ -100,6 +111,7 @@
 │   pc: 3731
 │   callDepth: 0
 │   statusCode: STATUSCODE:StatusCode
+│   src: test/RandomVar.t.sol:65:65
 │   method: test%RandomVarTest.test_custom_names()
 │
 │  (1 step)
@@ -108,6 +120,7 @@
 │   pc: 3731
 │   callDepth: 0
 │   statusCode: STATUSCODE:StatusCode
+│   src: test/RandomVar.t.sol:65:65
 │   method: test%RandomVarTest.test_custom_names()
 │
 │  (1000 steps)
@@ -116,6 +129,7 @@
 │   pc: 3919
 │   callDepth: 0
 │   statusCode: STATUSCODE:StatusCode
+│   src: test/RandomVar.t.sol:57:67
 │   method: test%RandomVarTest.test_custom_names()
 │
 │  (26 steps)
@@ -124,6 +138,7 @@
 │   pc: 371
 │   callDepth: 0
 │   statusCode: EVMC_SUCCESS
+│   src: test/RandomVar.t.sol:45:50
 │   method: test%RandomVarTest.test_custom_names()
 │
 ┊  constraint: