From 6fe7f7d4b20d6e66389863533682d7bd69d47038 Mon Sep 17 00:00:00 2001 From: teddy Date: Thu, 1 Aug 2024 11:36:35 -0300 Subject: [PATCH] chore: add SPDX license identifiers for files missing them --- contracts/ERC20/external/ERC20ExternalPropertyTests.sol | 1 + contracts/ERC20/external/ExampleToken.sol | 1 + contracts/ERC20/external/TokenMock.sol | 1 + .../ERC20/external/properties/ERC20ExternalBasicProperties.sol | 1 + .../external/properties/ERC20ExternalBurnableProperties.sol | 1 + .../properties/ERC20ExternalIncreaseAllowanceProperties.sol | 1 + .../external/properties/ERC20ExternalMintableProperties.sol | 1 + .../external/properties/ERC20ExternalPausableProperties.sol | 1 + contracts/ERC20/external/util/ERC20ExternalTestBase.sol | 1 + contracts/ERC20/external/util/ITokenMock.sol | 1 + contracts/ERC20/internal/properties/ERC20BasicProperties.sol | 1 + contracts/ERC20/internal/properties/ERC20BurnableProperties.sol | 1 + .../internal/properties/ERC20IncreaseAllowanceProperties.sol | 1 + contracts/ERC20/internal/properties/ERC20MintableProperties.sol | 1 + contracts/ERC20/internal/properties/ERC20PausableProperties.sol | 1 + contracts/ERC20/internal/util/ERC20TestBase.sol | 1 + contracts/ERC4626/ERC4626PropertyTests.sol | 1 + contracts/ERC4626/properties/FunctionalAccountingProps.sol | 1 + contracts/ERC4626/properties/MustNotRevertProps.sol | 1 + contracts/ERC4626/properties/RedeemUsingApprovalProps.sol | 1 + contracts/ERC4626/properties/RoundingProps.sol | 1 + contracts/ERC4626/properties/SecurityProps.sol | 1 + contracts/ERC4626/properties/SenderIndependentProps.sol | 1 + contracts/ERC4626/properties/VaultProxy.sol | 1 + contracts/ERC4626/test/Solmate4626.sol | 1 + contracts/ERC4626/test/rounding/BadConvertToAssetsRounding.sol | 1 + contracts/ERC4626/test/rounding/BadConvertToSharesRounding.sol | 1 + contracts/ERC4626/test/rounding/BadPreviewMintRounding.sol | 1 + contracts/ERC4626/test/rounding/BadPreviewWithdrawRounding.sol | 1 + contracts/ERC4626/test/security/BadShareInflation.sol | 1 + contracts/ERC4626/test/usingApproval/BadAllowanceUpdate.sol | 1 + contracts/ERC4626/util/Actor.sol | 1 + contracts/ERC4626/util/ERC4626PropertyTestBase.sol | 1 + contracts/ERC4626/util/IERC4626Internal.sol | 1 + contracts/ERC4626/util/RedemptionProxy.sol | 1 + contracts/ERC4626/util/TestERC20Token.sol | 1 + contracts/ERC721/external/ERC721ExternalPropertyTests.sol | 1 + .../ERC721/external/properties/ERC721ExternalBasicProperties.sol | 1 + .../external/properties/ERC721ExternalBurnableProperties.sol | 1 + .../external/properties/ERC721ExternalMintableProperties.sol | 1 + contracts/ERC721/external/test/ERC721Compliant.sol | 1 + contracts/ERC721/external/test/standard/ERC721BasicTests.sol | 1 + contracts/ERC721/external/test/standard/ERC721BurnableTests.sol | 1 + contracts/ERC721/external/test/standard/ERC721CompliantTests.sol | 1 + contracts/ERC721/external/test/standard/ERC721MintableTests.sol | 1 + contracts/ERC721/external/util/ERC721ExternalTestBase.sol | 1 + contracts/ERC721/external/util/MockReceiver.sol | 1 + contracts/ERC721/internal/ERC721InternalPropertyTests.sol | 1 + contracts/ERC721/internal/properties/ERC721BasicProperties.sol | 1 + .../ERC721/internal/properties/ERC721BurnableProperties.sol | 1 + .../ERC721/internal/properties/ERC721MintableProperties.sol | 1 + contracts/ERC721/internal/test/standard/ERC721BasicTests.sol | 1 + contracts/ERC721/internal/test/standard/ERC721BurnableTests.sol | 1 + contracts/ERC721/internal/test/standard/ERC721Compliant.sol | 1 + contracts/ERC721/internal/test/standard/ERC721MintableTests.sol | 1 + contracts/ERC721/internal/util/ERC721TestBase.sol | 1 + contracts/ERC721/internal/util/MockReceiver.sol | 1 + contracts/ERC721/util/IERC721Internal.sol | 1 + contracts/Math/ABDKMath64x64/ABDKMath64x64PropertyTests.sol | 1 + contracts/util/PropertiesConstants.sol | 1 + contracts/util/PropertiesHelper.sol | 1 + tests/ERC20/foundry/src/ExampleToken.sol | 1 + tests/ERC20/foundry/test/CryticTest.sol | 1 + tests/ERC20/foundry/test/CryticTestExt.sol | 1 + tests/ERC20/hardhat/contracts/CryticTest.sol | 1 + tests/ERC20/hardhat/contracts/CryticTestExt.sol | 1 + tests/ERC20/hardhat/contracts/ExampleToken.sol | 1 + tests/ERC4626/foundry/src/Basic4626Impl.sol | 1 + tests/ERC4626/foundry/test/CryticTest.sol | 1 + tests/ERC4626/hardhat/contracts/Basic4626Impl.sol | 1 + tests/ERC4626/hardhat/contracts/Echidna4626Harness.sol | 1 + tests/ERC721/foundry/src/ExampleToken.sol | 1 + tests/ERC721/foundry/test/CryticTest.sol | 1 + tests/ERC721/foundry/test/CryticTestExt.sol | 1 + tests/ERC721/hardhat/contracts/CryticTest.sol | 1 + tests/ERC721/hardhat/contracts/CryticTestExt.sol | 1 + tests/ERC721/hardhat/contracts/ExampleToken.sol | 1 + 77 files changed, 77 insertions(+) diff --git a/contracts/ERC20/external/ERC20ExternalPropertyTests.sol b/contracts/ERC20/external/ERC20ExternalPropertyTests.sol index f2f535a..159fcba 100644 --- a/contracts/ERC20/external/ERC20ExternalPropertyTests.sol +++ b/contracts/ERC20/external/ERC20ExternalPropertyTests.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "./TokenMock.sol"; diff --git a/contracts/ERC20/external/ExampleToken.sol b/contracts/ERC20/external/ExampleToken.sol index fd359a3..295432e 100644 --- a/contracts/ERC20/external/ExampleToken.sol +++ b/contracts/ERC20/external/ExampleToken.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "@openzeppelin/contracts/token/ERC20/ERC20.sol"; diff --git a/contracts/ERC20/external/TokenMock.sol b/contracts/ERC20/external/TokenMock.sol index e6fa9c7..940a060 100644 --- a/contracts/ERC20/external/TokenMock.sol +++ b/contracts/ERC20/external/TokenMock.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "../../util/PropertiesConstants.sol"; diff --git a/contracts/ERC20/external/properties/ERC20ExternalBasicProperties.sol b/contracts/ERC20/external/properties/ERC20ExternalBasicProperties.sol index c984c0a..4fcb5ef 100644 --- a/contracts/ERC20/external/properties/ERC20ExternalBasicProperties.sol +++ b/contracts/ERC20/external/properties/ERC20ExternalBasicProperties.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {CryticERC20ExternalTestBase} from "../util/ERC20ExternalTestBase.sol"; diff --git a/contracts/ERC20/external/properties/ERC20ExternalBurnableProperties.sol b/contracts/ERC20/external/properties/ERC20ExternalBurnableProperties.sol index cef2f15..2624461 100644 --- a/contracts/ERC20/external/properties/ERC20ExternalBurnableProperties.sol +++ b/contracts/ERC20/external/properties/ERC20ExternalBurnableProperties.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "../util/ERC20ExternalTestBase.sol"; diff --git a/contracts/ERC20/external/properties/ERC20ExternalIncreaseAllowanceProperties.sol b/contracts/ERC20/external/properties/ERC20ExternalIncreaseAllowanceProperties.sol index afea790..ea2bafc 100644 --- a/contracts/ERC20/external/properties/ERC20ExternalIncreaseAllowanceProperties.sol +++ b/contracts/ERC20/external/properties/ERC20ExternalIncreaseAllowanceProperties.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "../util/ERC20ExternalTestBase.sol"; diff --git a/contracts/ERC20/external/properties/ERC20ExternalMintableProperties.sol b/contracts/ERC20/external/properties/ERC20ExternalMintableProperties.sol index 4c87b5a..8178390 100644 --- a/contracts/ERC20/external/properties/ERC20ExternalMintableProperties.sol +++ b/contracts/ERC20/external/properties/ERC20ExternalMintableProperties.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "../util/ERC20ExternalTestBase.sol"; diff --git a/contracts/ERC20/external/properties/ERC20ExternalPausableProperties.sol b/contracts/ERC20/external/properties/ERC20ExternalPausableProperties.sol index 8838060..e11a920 100644 --- a/contracts/ERC20/external/properties/ERC20ExternalPausableProperties.sol +++ b/contracts/ERC20/external/properties/ERC20ExternalPausableProperties.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "../util/ERC20ExternalTestBase.sol"; diff --git a/contracts/ERC20/external/util/ERC20ExternalTestBase.sol b/contracts/ERC20/external/util/ERC20ExternalTestBase.sol index 23a9526..9ed8f70 100644 --- a/contracts/ERC20/external/util/ERC20ExternalTestBase.sol +++ b/contracts/ERC20/external/util/ERC20ExternalTestBase.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "../../../util/PropertiesHelper.sol"; diff --git a/contracts/ERC20/external/util/ITokenMock.sol b/contracts/ERC20/external/util/ITokenMock.sol index d300494..fcccf89 100644 --- a/contracts/ERC20/external/util/ITokenMock.sol +++ b/contracts/ERC20/external/util/ITokenMock.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "../../../util/IERC20.sol"; diff --git a/contracts/ERC20/internal/properties/ERC20BasicProperties.sol b/contracts/ERC20/internal/properties/ERC20BasicProperties.sol index 4159312..9ce039e 100644 --- a/contracts/ERC20/internal/properties/ERC20BasicProperties.sol +++ b/contracts/ERC20/internal/properties/ERC20BasicProperties.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "../util/ERC20TestBase.sol"; diff --git a/contracts/ERC20/internal/properties/ERC20BurnableProperties.sol b/contracts/ERC20/internal/properties/ERC20BurnableProperties.sol index d984e45..b3598b7 100644 --- a/contracts/ERC20/internal/properties/ERC20BurnableProperties.sol +++ b/contracts/ERC20/internal/properties/ERC20BurnableProperties.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "../util/ERC20TestBase.sol"; diff --git a/contracts/ERC20/internal/properties/ERC20IncreaseAllowanceProperties.sol b/contracts/ERC20/internal/properties/ERC20IncreaseAllowanceProperties.sol index 52d8fc8..8fe2ac1 100644 --- a/contracts/ERC20/internal/properties/ERC20IncreaseAllowanceProperties.sol +++ b/contracts/ERC20/internal/properties/ERC20IncreaseAllowanceProperties.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "../util/ERC20TestBase.sol"; diff --git a/contracts/ERC20/internal/properties/ERC20MintableProperties.sol b/contracts/ERC20/internal/properties/ERC20MintableProperties.sol index fabfb51..9ffc831 100644 --- a/contracts/ERC20/internal/properties/ERC20MintableProperties.sol +++ b/contracts/ERC20/internal/properties/ERC20MintableProperties.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "../util/ERC20TestBase.sol"; diff --git a/contracts/ERC20/internal/properties/ERC20PausableProperties.sol b/contracts/ERC20/internal/properties/ERC20PausableProperties.sol index 35edae7..34aa11d 100644 --- a/contracts/ERC20/internal/properties/ERC20PausableProperties.sol +++ b/contracts/ERC20/internal/properties/ERC20PausableProperties.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "../util/ERC20TestBase.sol"; diff --git a/contracts/ERC20/internal/util/ERC20TestBase.sol b/contracts/ERC20/internal/util/ERC20TestBase.sol index 1f4925f..014659a 100644 --- a/contracts/ERC20/internal/util/ERC20TestBase.sol +++ b/contracts/ERC20/internal/util/ERC20TestBase.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "@openzeppelin/contracts/token/ERC20/ERC20.sol"; diff --git a/contracts/ERC4626/ERC4626PropertyTests.sol b/contracts/ERC4626/ERC4626PropertyTests.sol index 83f83df..fe3ff34 100644 --- a/contracts/ERC4626/ERC4626PropertyTests.sol +++ b/contracts/ERC4626/ERC4626PropertyTests.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {TestERC20Token} from "./util/TestERC20Token.sol"; diff --git a/contracts/ERC4626/properties/FunctionalAccountingProps.sol b/contracts/ERC4626/properties/FunctionalAccountingProps.sol index 56e2381..c9775ce 100644 --- a/contracts/ERC4626/properties/FunctionalAccountingProps.sol +++ b/contracts/ERC4626/properties/FunctionalAccountingProps.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {CryticERC4626PropertyBase} from "../util/ERC4626PropertyTestBase.sol"; diff --git a/contracts/ERC4626/properties/MustNotRevertProps.sol b/contracts/ERC4626/properties/MustNotRevertProps.sol index 0b542c4..758e0b2 100644 --- a/contracts/ERC4626/properties/MustNotRevertProps.sol +++ b/contracts/ERC4626/properties/MustNotRevertProps.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {CryticERC4626PropertyBase} from "../util/ERC4626PropertyTestBase.sol"; diff --git a/contracts/ERC4626/properties/RedeemUsingApprovalProps.sol b/contracts/ERC4626/properties/RedeemUsingApprovalProps.sol index 8f1fe0e..5b2cf0d 100644 --- a/contracts/ERC4626/properties/RedeemUsingApprovalProps.sol +++ b/contracts/ERC4626/properties/RedeemUsingApprovalProps.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {CryticERC4626PropertyBase} from "../util/ERC4626PropertyTestBase.sol"; import {CryticERC4626VaultProxy} from "./VaultProxy.sol"; diff --git a/contracts/ERC4626/properties/RoundingProps.sol b/contracts/ERC4626/properties/RoundingProps.sol index 058eda5..ce6748f 100644 --- a/contracts/ERC4626/properties/RoundingProps.sol +++ b/contracts/ERC4626/properties/RoundingProps.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {CryticERC4626PropertyBase} from "../util/ERC4626PropertyTestBase.sol"; import {CryticERC4626VaultProxy} from "./VaultProxy.sol"; diff --git a/contracts/ERC4626/properties/SecurityProps.sol b/contracts/ERC4626/properties/SecurityProps.sol index 1813cdb..3b22ffc 100644 --- a/contracts/ERC4626/properties/SecurityProps.sol +++ b/contracts/ERC4626/properties/SecurityProps.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {CryticERC4626PropertyBase} from "../util/ERC4626PropertyTestBase.sol"; diff --git a/contracts/ERC4626/properties/SenderIndependentProps.sol b/contracts/ERC4626/properties/SenderIndependentProps.sol index d65b031..122f556 100644 --- a/contracts/ERC4626/properties/SenderIndependentProps.sol +++ b/contracts/ERC4626/properties/SenderIndependentProps.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {CryticERC4626PropertyBase} from "../util/ERC4626PropertyTestBase.sol"; diff --git a/contracts/ERC4626/properties/VaultProxy.sol b/contracts/ERC4626/properties/VaultProxy.sol index afca0d3..8a7e16a 100644 --- a/contracts/ERC4626/properties/VaultProxy.sol +++ b/contracts/ERC4626/properties/VaultProxy.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {CryticERC4626PropertyBase} from "../util/ERC4626PropertyTestBase.sol"; import {CryticIERC4626Internal} from "../util/IERC4626Internal.sol"; diff --git a/contracts/ERC4626/test/Solmate4626.sol b/contracts/ERC4626/test/Solmate4626.sol index 30f8da9..072ce53 100644 --- a/contracts/ERC4626/test/Solmate4626.sol +++ b/contracts/ERC4626/test/Solmate4626.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {ERC20} from "solmate/src/tokens/ERC20.sol"; diff --git a/contracts/ERC4626/test/rounding/BadConvertToAssetsRounding.sol b/contracts/ERC4626/test/rounding/BadConvertToAssetsRounding.sol index 7dd3e8e..c7ee5cd 100644 --- a/contracts/ERC4626/test/rounding/BadConvertToAssetsRounding.sol +++ b/contracts/ERC4626/test/rounding/BadConvertToAssetsRounding.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {ERC20} from "solmate/src/tokens/ERC20.sol"; diff --git a/contracts/ERC4626/test/rounding/BadConvertToSharesRounding.sol b/contracts/ERC4626/test/rounding/BadConvertToSharesRounding.sol index 126d053..ff932ad 100644 --- a/contracts/ERC4626/test/rounding/BadConvertToSharesRounding.sol +++ b/contracts/ERC4626/test/rounding/BadConvertToSharesRounding.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {ERC20} from "solmate/src/tokens/ERC20.sol"; diff --git a/contracts/ERC4626/test/rounding/BadPreviewMintRounding.sol b/contracts/ERC4626/test/rounding/BadPreviewMintRounding.sol index 545eedb..242a787 100644 --- a/contracts/ERC4626/test/rounding/BadPreviewMintRounding.sol +++ b/contracts/ERC4626/test/rounding/BadPreviewMintRounding.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {ERC20} from "solmate/src/tokens/ERC20.sol"; diff --git a/contracts/ERC4626/test/rounding/BadPreviewWithdrawRounding.sol b/contracts/ERC4626/test/rounding/BadPreviewWithdrawRounding.sol index 9938a8e..11fecd0 100644 --- a/contracts/ERC4626/test/rounding/BadPreviewWithdrawRounding.sol +++ b/contracts/ERC4626/test/rounding/BadPreviewWithdrawRounding.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {ERC20} from "solmate/src/tokens/ERC20.sol"; diff --git a/contracts/ERC4626/test/security/BadShareInflation.sol b/contracts/ERC4626/test/security/BadShareInflation.sol index 11556c6..c91c0c8 100644 --- a/contracts/ERC4626/test/security/BadShareInflation.sol +++ b/contracts/ERC4626/test/security/BadShareInflation.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {ERC20} from "solmate/src/tokens/ERC20.sol"; diff --git a/contracts/ERC4626/test/usingApproval/BadAllowanceUpdate.sol b/contracts/ERC4626/test/usingApproval/BadAllowanceUpdate.sol index 3810adf..60df50f 100644 --- a/contracts/ERC4626/test/usingApproval/BadAllowanceUpdate.sol +++ b/contracts/ERC4626/test/usingApproval/BadAllowanceUpdate.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {ERC20} from "solmate/src/tokens/ERC20.sol"; diff --git a/contracts/ERC4626/util/Actor.sol b/contracts/ERC4626/util/Actor.sol index d973dcd..97ad94a 100644 --- a/contracts/ERC4626/util/Actor.sol +++ b/contracts/ERC4626/util/Actor.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {IERC4626} from "../../util/IERC4626.sol"; diff --git a/contracts/ERC4626/util/ERC4626PropertyTestBase.sol b/contracts/ERC4626/util/ERC4626PropertyTestBase.sol index c85ef02..128b4ef 100644 --- a/contracts/ERC4626/util/ERC4626PropertyTestBase.sol +++ b/contracts/ERC4626/util/ERC4626PropertyTestBase.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {IERC20} from "../../util/IERC20.sol"; diff --git a/contracts/ERC4626/util/IERC4626Internal.sol b/contracts/ERC4626/util/IERC4626Internal.sol index 6aea402..19d52f9 100644 --- a/contracts/ERC4626/util/IERC4626Internal.sol +++ b/contracts/ERC4626/util/IERC4626Internal.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; /// @notice Developers may optionally implement these interfaces on their Vault contract to increase coverage/enable rounding tests. diff --git a/contracts/ERC4626/util/RedemptionProxy.sol b/contracts/ERC4626/util/RedemptionProxy.sol index 01d28be..c090364 100644 --- a/contracts/ERC4626/util/RedemptionProxy.sol +++ b/contracts/ERC4626/util/RedemptionProxy.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {IERC4626} from "../../util/IERC4626.sol"; diff --git a/contracts/ERC4626/util/TestERC20Token.sol b/contracts/ERC4626/util/TestERC20Token.sol index 8b58fb8..4de8921 100644 --- a/contracts/ERC4626/util/TestERC20Token.sol +++ b/contracts/ERC4626/util/TestERC20Token.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {IERC20} from "../../util/IERC20.sol"; diff --git a/contracts/ERC721/external/ERC721ExternalPropertyTests.sol b/contracts/ERC721/external/ERC721ExternalPropertyTests.sol index 2096e6b..967184c 100644 --- a/contracts/ERC721/external/ERC721ExternalPropertyTests.sol +++ b/contracts/ERC721/external/ERC721ExternalPropertyTests.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import {CryticERC721ExternalTestBase} from "./util/ERC721ExternalTestBase.sol"; diff --git a/contracts/ERC721/external/properties/ERC721ExternalBasicProperties.sol b/contracts/ERC721/external/properties/ERC721ExternalBasicProperties.sol index de13332..11451f7 100644 --- a/contracts/ERC721/external/properties/ERC721ExternalBasicProperties.sol +++ b/contracts/ERC721/external/properties/ERC721ExternalBasicProperties.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "../util/ERC721ExternalTestBase.sol"; diff --git a/contracts/ERC721/external/properties/ERC721ExternalBurnableProperties.sol b/contracts/ERC721/external/properties/ERC721ExternalBurnableProperties.sol index a4f8d5a..fcacf56 100644 --- a/contracts/ERC721/external/properties/ERC721ExternalBurnableProperties.sol +++ b/contracts/ERC721/external/properties/ERC721ExternalBurnableProperties.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "../util/ERC721ExternalTestBase.sol"; diff --git a/contracts/ERC721/external/properties/ERC721ExternalMintableProperties.sol b/contracts/ERC721/external/properties/ERC721ExternalMintableProperties.sol index ba55418..04fff1b 100644 --- a/contracts/ERC721/external/properties/ERC721ExternalMintableProperties.sol +++ b/contracts/ERC721/external/properties/ERC721ExternalMintableProperties.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "../util/ERC721ExternalTestBase.sol"; diff --git a/contracts/ERC721/external/test/ERC721Compliant.sol b/contracts/ERC721/external/test/ERC721Compliant.sol index b886cee..6c46134 100644 --- a/contracts/ERC721/external/test/ERC721Compliant.sol +++ b/contracts/ERC721/external/test/ERC721Compliant.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "@openzeppelin/contracts/token/ERC721/ERC721.sol"; diff --git a/contracts/ERC721/external/test/standard/ERC721BasicTests.sol b/contracts/ERC721/external/test/standard/ERC721BasicTests.sol index 10a2820..559018f 100644 --- a/contracts/ERC721/external/test/standard/ERC721BasicTests.sol +++ b/contracts/ERC721/external/test/standard/ERC721BasicTests.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {CryticERC721ExternalBasicProperties} from "../../properties/ERC721ExternalBasicProperties.sol"; diff --git a/contracts/ERC721/external/test/standard/ERC721BurnableTests.sol b/contracts/ERC721/external/test/standard/ERC721BurnableTests.sol index 56923b9..8ed8952 100644 --- a/contracts/ERC721/external/test/standard/ERC721BurnableTests.sol +++ b/contracts/ERC721/external/test/standard/ERC721BurnableTests.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {CryticERC721ExternalBurnableProperties} from "../../properties/ERC721ExternalBurnableProperties.sol"; diff --git a/contracts/ERC721/external/test/standard/ERC721CompliantTests.sol b/contracts/ERC721/external/test/standard/ERC721CompliantTests.sol index 9030ef6..75fe124 100644 --- a/contracts/ERC721/external/test/standard/ERC721CompliantTests.sol +++ b/contracts/ERC721/external/test/standard/ERC721CompliantTests.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {CryticERC721ExternalPropertyTests} from "../../ERC721ExternalPropertyTests.sol"; diff --git a/contracts/ERC721/external/test/standard/ERC721MintableTests.sol b/contracts/ERC721/external/test/standard/ERC721MintableTests.sol index 8a7fd75..ccf0ecc 100644 --- a/contracts/ERC721/external/test/standard/ERC721MintableTests.sol +++ b/contracts/ERC721/external/test/standard/ERC721MintableTests.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {CryticERC721ExternalMintableProperties} from "../../properties/ERC721ExternalMintableProperties.sol"; diff --git a/contracts/ERC721/external/util/ERC721ExternalTestBase.sol b/contracts/ERC721/external/util/ERC721ExternalTestBase.sol index 6ba1c8f..31db326 100644 --- a/contracts/ERC721/external/util/ERC721ExternalTestBase.sol +++ b/contracts/ERC721/external/util/ERC721ExternalTestBase.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "../../../util/PropertiesHelper.sol"; diff --git a/contracts/ERC721/external/util/MockReceiver.sol b/contracts/ERC721/external/util/MockReceiver.sol index 7c1ab48..62a2a65 100644 --- a/contracts/ERC721/external/util/MockReceiver.sol +++ b/contracts/ERC721/external/util/MockReceiver.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "@openzeppelin/contracts/token/ERC721/utils/ERC721Holder.sol"; diff --git a/contracts/ERC721/internal/ERC721InternalPropertyTests.sol b/contracts/ERC721/internal/ERC721InternalPropertyTests.sol index ff5002b..b73eee9 100644 --- a/contracts/ERC721/internal/ERC721InternalPropertyTests.sol +++ b/contracts/ERC721/internal/ERC721InternalPropertyTests.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import {CryticERC721TestBase} from "./util/ERC721TestBase.sol"; diff --git a/contracts/ERC721/internal/properties/ERC721BasicProperties.sol b/contracts/ERC721/internal/properties/ERC721BasicProperties.sol index edadea0..59be347 100644 --- a/contracts/ERC721/internal/properties/ERC721BasicProperties.sol +++ b/contracts/ERC721/internal/properties/ERC721BasicProperties.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "../util/ERC721TestBase.sol"; diff --git a/contracts/ERC721/internal/properties/ERC721BurnableProperties.sol b/contracts/ERC721/internal/properties/ERC721BurnableProperties.sol index 2ab2767..ce1fc22 100644 --- a/contracts/ERC721/internal/properties/ERC721BurnableProperties.sol +++ b/contracts/ERC721/internal/properties/ERC721BurnableProperties.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "../util/ERC721TestBase.sol"; diff --git a/contracts/ERC721/internal/properties/ERC721MintableProperties.sol b/contracts/ERC721/internal/properties/ERC721MintableProperties.sol index 2b424df..423b45d 100644 --- a/contracts/ERC721/internal/properties/ERC721MintableProperties.sol +++ b/contracts/ERC721/internal/properties/ERC721MintableProperties.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "../util/ERC721TestBase.sol"; diff --git a/contracts/ERC721/internal/test/standard/ERC721BasicTests.sol b/contracts/ERC721/internal/test/standard/ERC721BasicTests.sol index f7381ad..2dc3b6b 100644 --- a/contracts/ERC721/internal/test/standard/ERC721BasicTests.sol +++ b/contracts/ERC721/internal/test/standard/ERC721BasicTests.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "@openzeppelin/contracts/token/ERC721/ERC721.sol"; diff --git a/contracts/ERC721/internal/test/standard/ERC721BurnableTests.sol b/contracts/ERC721/internal/test/standard/ERC721BurnableTests.sol index 09d2042..9c67f0a 100644 --- a/contracts/ERC721/internal/test/standard/ERC721BurnableTests.sol +++ b/contracts/ERC721/internal/test/standard/ERC721BurnableTests.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "@openzeppelin/contracts/token/ERC721/ERC721.sol"; diff --git a/contracts/ERC721/internal/test/standard/ERC721Compliant.sol b/contracts/ERC721/internal/test/standard/ERC721Compliant.sol index 0d15662..0e58000 100644 --- a/contracts/ERC721/internal/test/standard/ERC721Compliant.sol +++ b/contracts/ERC721/internal/test/standard/ERC721Compliant.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "@openzeppelin/contracts/token/ERC721/ERC721.sol"; diff --git a/contracts/ERC721/internal/test/standard/ERC721MintableTests.sol b/contracts/ERC721/internal/test/standard/ERC721MintableTests.sol index fc93c12..815cdc1 100644 --- a/contracts/ERC721/internal/test/standard/ERC721MintableTests.sol +++ b/contracts/ERC721/internal/test/standard/ERC721MintableTests.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "@openzeppelin/contracts/token/ERC721/ERC721.sol"; diff --git a/contracts/ERC721/internal/util/ERC721TestBase.sol b/contracts/ERC721/internal/util/ERC721TestBase.sol index b9c15c0..72cea18 100644 --- a/contracts/ERC721/internal/util/ERC721TestBase.sol +++ b/contracts/ERC721/internal/util/ERC721TestBase.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "@openzeppelin/contracts/token/ERC721/ERC721.sol"; diff --git a/contracts/ERC721/internal/util/MockReceiver.sol b/contracts/ERC721/internal/util/MockReceiver.sol index 618ac84..96f1fbf 100644 --- a/contracts/ERC721/internal/util/MockReceiver.sol +++ b/contracts/ERC721/internal/util/MockReceiver.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "@openzeppelin/contracts/token/ERC721/utils/ERC721Holder.sol"; diff --git a/contracts/ERC721/util/IERC721Internal.sol b/contracts/ERC721/util/IERC721Internal.sol index f8771a4..a03ca1c 100644 --- a/contracts/ERC721/util/IERC721Internal.sol +++ b/contracts/ERC721/util/IERC721Internal.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "@openzeppelin/contracts/token/ERC721/IERC721.sol"; diff --git a/contracts/Math/ABDKMath64x64/ABDKMath64x64PropertyTests.sol b/contracts/Math/ABDKMath64x64/ABDKMath64x64PropertyTests.sol index 6548efa..903a908 100644 --- a/contracts/Math/ABDKMath64x64/ABDKMath64x64PropertyTests.sol +++ b/contracts/Math/ABDKMath64x64/ABDKMath64x64PropertyTests.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "./abdk-libraries-solidity/ABDKMath64x64.sol"; diff --git a/contracts/util/PropertiesConstants.sol b/contracts/util/PropertiesConstants.sol index d16c509..073713d 100644 --- a/contracts/util/PropertiesConstants.sol +++ b/contracts/util/PropertiesConstants.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; abstract contract PropertiesConstants { diff --git a/contracts/util/PropertiesHelper.sol b/contracts/util/PropertiesHelper.sol index 2ee92ce..d753d54 100644 --- a/contracts/util/PropertiesHelper.sol +++ b/contracts/util/PropertiesHelper.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; abstract contract PropertiesAsserts { diff --git a/tests/ERC20/foundry/src/ExampleToken.sol b/tests/ERC20/foundry/src/ExampleToken.sol index 17407b6..147371b 100644 --- a/tests/ERC20/foundry/src/ExampleToken.sol +++ b/tests/ERC20/foundry/src/ExampleToken.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "@openzeppelin/contracts/token/ERC20/ERC20.sol"; diff --git a/tests/ERC20/foundry/test/CryticTest.sol b/tests/ERC20/foundry/test/CryticTest.sol index 9aba67d..7424ad7 100644 --- a/tests/ERC20/foundry/test/CryticTest.sol +++ b/tests/ERC20/foundry/test/CryticTest.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "properties/ERC20/internal/properties/ERC20BasicProperties.sol"; import "../src/ExampleToken.sol"; diff --git a/tests/ERC20/foundry/test/CryticTestExt.sol b/tests/ERC20/foundry/test/CryticTestExt.sol index 18aa5a5..c8b3f7c 100644 --- a/tests/ERC20/foundry/test/CryticTestExt.sol +++ b/tests/ERC20/foundry/test/CryticTestExt.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "../src/ExampleToken.sol"; import {ITokenMock} from "properties/ERC20/external/util/ITokenMock.sol"; diff --git a/tests/ERC20/hardhat/contracts/CryticTest.sol b/tests/ERC20/hardhat/contracts/CryticTest.sol index 4fb0706..cf1d6a7 100644 --- a/tests/ERC20/hardhat/contracts/CryticTest.sol +++ b/tests/ERC20/hardhat/contracts/CryticTest.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import "@crytic/properties/contracts/ERC20/internal/properties/ERC20BasicProperties.sol"; import "./ExampleToken.sol"; diff --git a/tests/ERC20/hardhat/contracts/CryticTestExt.sol b/tests/ERC20/hardhat/contracts/CryticTestExt.sol index bd52c4e..59a8c43 100644 --- a/tests/ERC20/hardhat/contracts/CryticTestExt.sol +++ b/tests/ERC20/hardhat/contracts/CryticTestExt.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "./ExampleToken.sol"; import {ITokenMock} from "@crytic/properties/contracts/ERC20/external/util/ITokenMock.sol"; diff --git a/tests/ERC20/hardhat/contracts/ExampleToken.sol b/tests/ERC20/hardhat/contracts/ExampleToken.sol index 17407b6..147371b 100644 --- a/tests/ERC20/hardhat/contracts/ExampleToken.sol +++ b/tests/ERC20/hardhat/contracts/ExampleToken.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "@openzeppelin/contracts/token/ERC20/ERC20.sol"; diff --git a/tests/ERC4626/foundry/src/Basic4626Impl.sol b/tests/ERC4626/foundry/src/Basic4626Impl.sol index 818855d..a638f1d 100644 --- a/tests/ERC4626/foundry/src/Basic4626Impl.sol +++ b/tests/ERC4626/foundry/src/Basic4626Impl.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {ERC20} from "solmate/tokens/ERC20.sol"; diff --git a/tests/ERC4626/foundry/test/CryticTest.sol b/tests/ERC4626/foundry/test/CryticTest.sol index 453fbba..4e5b56b 100644 --- a/tests/ERC4626/foundry/test/CryticTest.sol +++ b/tests/ERC4626/foundry/test/CryticTest.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import {CryticERC4626PropertyTests} from "properties/ERC4626/ERC4626PropertyTests.sol"; diff --git a/tests/ERC4626/hardhat/contracts/Basic4626Impl.sol b/tests/ERC4626/hardhat/contracts/Basic4626Impl.sol index bf701ae..9e44f21 100644 --- a/tests/ERC4626/hardhat/contracts/Basic4626Impl.sol +++ b/tests/ERC4626/hardhat/contracts/Basic4626Impl.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import {ERC20} from "solmate/src/tokens/ERC20.sol"; diff --git a/tests/ERC4626/hardhat/contracts/Echidna4626Harness.sol b/tests/ERC4626/hardhat/contracts/Echidna4626Harness.sol index c954eb1..55dad22 100644 --- a/tests/ERC4626/hardhat/contracts/Echidna4626Harness.sol +++ b/tests/ERC4626/hardhat/contracts/Echidna4626Harness.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.13; import {CryticERC4626PropertyTests} from "@crytic/properties/contracts/ERC4626/ERC4626PropertyTests.sol"; diff --git a/tests/ERC721/foundry/src/ExampleToken.sol b/tests/ERC721/foundry/src/ExampleToken.sol index 4220cbc..5316f19 100644 --- a/tests/ERC721/foundry/src/ExampleToken.sol +++ b/tests/ERC721/foundry/src/ExampleToken.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "@openzeppelin/contracts/token/ERC721/ERC721.sol"; diff --git a/tests/ERC721/foundry/test/CryticTest.sol b/tests/ERC721/foundry/test/CryticTest.sol index e4e4bbc..44c9fdc 100644 --- a/tests/ERC721/foundry/test/CryticTest.sol +++ b/tests/ERC721/foundry/test/CryticTest.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "properties/ERC721/internal/properties/ERC721BasicProperties.sol"; import "../src/ExampleToken.sol"; diff --git a/tests/ERC721/foundry/test/CryticTestExt.sol b/tests/ERC721/foundry/test/CryticTestExt.sol index 2da6448..f31c1b2 100644 --- a/tests/ERC721/foundry/test/CryticTestExt.sol +++ b/tests/ERC721/foundry/test/CryticTestExt.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "../src/ExampleToken.sol"; import {IERC721Internal} from "properties/ERC721/util/IERC721Internal.sol"; diff --git a/tests/ERC721/hardhat/contracts/CryticTest.sol b/tests/ERC721/hardhat/contracts/CryticTest.sol index b8b7ae4..1e5e71a 100644 --- a/tests/ERC721/hardhat/contracts/CryticTest.sol +++ b/tests/ERC721/hardhat/contracts/CryticTest.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "@crytic/properties/contracts/ERC721/internal/properties/ERC721BasicProperties.sol"; import "./ExampleToken.sol"; diff --git a/tests/ERC721/hardhat/contracts/CryticTestExt.sol b/tests/ERC721/hardhat/contracts/CryticTestExt.sol index 0f5cd33..b61ba9a 100644 --- a/tests/ERC721/hardhat/contracts/CryticTestExt.sol +++ b/tests/ERC721/hardhat/contracts/CryticTestExt.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "./ExampleToken.sol"; import {IERC721Internal} from "@crytic/properties/contracts/ERC721/util/IERC721Internal.sol"; diff --git a/tests/ERC721/hardhat/contracts/ExampleToken.sol b/tests/ERC721/hardhat/contracts/ExampleToken.sol index 676b625..2ec289b 100644 --- a/tests/ERC721/hardhat/contracts/ExampleToken.sol +++ b/tests/ERC721/hardhat/contracts/ExampleToken.sol @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: AGPL-3.0-or-later pragma solidity ^0.8.0; import "@openzeppelin/contracts/token/ERC721/ERC721.sol";