chore: update comments and attribution

defi-wonderland · Sep 17, 2024 · 602589f · 602589f
1 parent 9c914ef
commit 602589f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/packages/contracts-bedrock/test/properties/kontrol/OptimismSuperchainERC20.k.sol b/packages/contracts-bedrock/test/properties/kontrol/OptimismSuperchainERC20.k.sol
@@ -67,7 +67,7 @@ contract OptimismSuperchainERC20Kontrol is KontrolBase, InitialState {
         vm.assume(notBuiltinAddress(_from));
         vm.assume(notBuiltinAddress(_to));
 
-        // Can't deal to unsupported cheatcode
+        // Mint the amount to the caller
         vm.prank(Predeploys.L2_STANDARD_BRIDGE);
         sourceToken.mint(_from, _initialBalance);
 

diff --git a/packages/contracts-bedrock/test/properties/kontrol/helpers/RecordStateDiff.sol b/packages/contracts-bedrock/test/properties/kontrol/helpers/RecordStateDiff.sol
@@ -1,4 +1,8 @@
+// This code was originally copied from:
+// https://github.com/runtimeverification/kontrol/blob/86451cbdaef8bed0370bf804fa4b545ec8b7a28a/docs/external-computation/test/kontrol/state-diff/record-state-diff/RecordStateDiff.sol
+// It has been slightly modified, including changes to the compiler version.
 // SPDX-License-Identifier: MIT
+
 pragma solidity 0.8.25;
 
 import { console2 as console } from "forge-std/console2.sol";