Fixed \n issue in test outuput fiees

runtimeverification · Jan 10, 2024 · f60c413 · f60c413
1 parent 925843a
commit f60c413
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/tests/integration/test-data/foundry/src/DeploymentSummary.sol b/src/tests/integration/test-data/foundry/src/DeploymentSummary.sol
@@ -22,4 +22,4 @@ contract DeploymentSummary is DeploymentSummaryCode {
 		value = hex'0000000000000000000000000000000000000000000000000000000000000003';
 		vm.store(acc0Address, slot, value);
 	}
-}
+}
diff --git a/src/tests/integration/test-data/foundry/src/DeploymentSummaryCode.sol b/src/tests/integration/test-data/foundry/src/DeploymentSummaryCode.sol
@@ -4,4 +4,4 @@ pragma solidity ^0.8.13;
 
 contract DeploymentSummaryCode {
 	bytes constant internal acc0Code = hex'6080604052348015600f57600080fd5b5060043610603c5760003560e01c80633fb5c1cb1460415780638381f58a146053578063d09de08a14606d575b600080fd5b6051604c3660046083565b600055565b005b605b60005481565b60405190815260200160405180910390f35b6051600080549080607c83609b565b9190505550565b600060208284031215609457600080fd5b5035919050565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820360f2577f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b506001019056fea164736f6c634300080f000a';
-}
+}
-Original file line number
+Diff line change
@@ Expand Up / @@ -22,4 +22,4 @@ contract DeploymentSummary is DeploymentSummaryCode { @@
     		value = hex'0000000000000000000000000000000000000000000000000000000000000003';
     		vm.store(acc0Address, slot, value);
     	}
-    }
+    }