Merge pull request #59 from 0xteddybear/chore/set-spdx-license-identifiers

chore: add SPDX license identifiers for files missing them

Author: montyly

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";
 

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";
 

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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.

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

contracts/util/PropertiesConstants.sol

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: AGPL-3.0-or-later
 pragma solidity ^0.8.0;
 
 abstract contract PropertiesConstants {

contracts/util/PropertiesHelper.sol

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: AGPL-3.0-or-later
 pragma solidity ^0.8.0;
 
 abstract contract PropertiesAsserts {

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";

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";