From 602589f9fef2016c99659b0d2ca55ad82138acf3 Mon Sep 17 00:00:00 2001 From: 0xDiscotech <131301107+0xDiscotech@users.noreply.github.com> Date: Mon, 16 Sep 2024 22:35:33 -0300 Subject: [PATCH] chore: update comments and attribution --- .../test/properties/kontrol/OptimismSuperchainERC20.k.sol | 2 +- .../test/properties/kontrol/helpers/RecordStateDiff.sol | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/packages/contracts-bedrock/test/properties/kontrol/OptimismSuperchainERC20.k.sol b/packages/contracts-bedrock/test/properties/kontrol/OptimismSuperchainERC20.k.sol index 12847065b92b..854ea6353af1 100644 --- 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 index a49cb41b6545..5251d4b4d70b 100644 --- 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";