Update RandomVarTest.test_custom_names

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