Update tests for solc 0.7.x (#582)

package.json

@@ -62,8 +62,8 @@
     "hardhat-gas-reporter": "^1.0.1",
     "mocha": "5.2.0",
     "nyc": "^14.1.1",
-    "solc": "^0.5.10",
+    "solc": "^0.7.5",
-    "truffle": "5.0.31",
+    "truffle": "5.1.43",
     "truffle-config": "^1.1.18"
   }
 }

test/integration/generic/assets/SimpleError.sol

@@ -1,5 +1,5 @@
 // This contract should throw a parse error in instrumentSolidity.js
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract SimpleError {
     uint x = 0;

test/integration/generic/contracts/Migrations.sol

@@ -1,4 +1,4 @@
-pragma solidity >=0.4.22 <0.6.0;
+pragma solidity >=0.4.22 <0.8.0;
 
 
 contract Migrations {

test/integration/projects/contract-subfolders/contracts/A/ContractA2.sol

@@ -1,9 +1,8 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 import "./../B/ContractB2.sol";
 
 contract ContractA is ContractB {
-  uint x;
   constructor() public {
   }
 

test/integration/projects/contract-subfolders/contracts/B/ContractB2.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractB {

test/integration/projects/contract-subfolders/hardhat.config.js

@@ -8,7 +8,7 @@ module.exports={
     }
   },
   solidity: {
-    version: "0.5.15"
+    version: "0.7.3"
   },
   paths: {
     sources: './contracts/A'

test/integration/projects/ganache-solcoverjs/contracts/ContractA.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractA {

test/integration/projects/ganache-solcoverjs/contracts/ContractB.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractB {

test/integration/projects/ganache-solcoverjs/contracts/ContractC.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractC {

test/integration/projects/ganache-solcoverjs/hardhat.config.js

@@ -3,7 +3,7 @@ require(__dirname + "/../plugins/nomiclabs.plugin");
 
 module.exports = {
   solidity: {
-    version: "0.5.15"
+    version: "0.7.3"
   },
   networks: {
     coverage: {

test/integration/projects/hardhat-compile-config/contracts/ContractA1.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.5.5;
 
 
 contract ContractA {

test/integration/projects/hardhat-gas-reporter/contracts/ContractA.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractA {

test/integration/projects/hardhat-gas-reporter/hardhat.config.js

@@ -4,7 +4,7 @@ require(__dirname + "/../plugins/nomiclabs.plugin");
 
 module.exports = {
   solidity: {
-    version: "0.5.15"
+    version: "0.7.3"
   },
   logger: process.env.SILENT ? { log: () => {} } : console,
 };

test/integration/projects/import-paths/assets/RelativePathImport.sol

@@ -1,4 +1,4 @@
-pragma solidity >=0.4.21 <0.6.0;
+pragma solidity >=0.4.21 <0.8.0;
 
 contract RelativePathImport {
   uint r;

test/integration/projects/import-paths/contracts/Migrations.sol

@@ -1,23 +0,0 @@
-pragma solidity >=0.4.21 <0.6.0;
-
-contract Migrations {
-  address public owner;
-  uint public last_completed_migration;
-
-  constructor() public {
-    owner = msg.sender;
-  }
-
-  modifier restricted() {
-    if (msg.sender == owner) _;
-  }
-
-  function setCompleted(uint completed) public restricted {
-    last_completed_migration = completed;
-  }
-
-  function upgrade(address new_address) public restricted {
-    Migrations upgraded = Migrations(new_address);
-    upgraded.setCompleted(last_completed_migration);
-  }
-}

test/integration/projects/import-paths/contracts/OnlyUsesImports.sol

@@ -1,3 +1,3 @@
-pragma solidity >=0.4.21 <0.6.0;
+pragma solidity >=0.4.21 <0.8.0;
 
 import "package/AnotherImport.sol";

test/integration/projects/import-paths/contracts/UsesImports.sol

@@ -1,4 +1,4 @@
-pragma solidity >=0.4.21 <0.6.0;
+pragma solidity >=0.4.21 <0.8.0;
 
 import "../assets/RelativePathImport.sol";
 import "package/NodeModulesImport.sol";

test/integration/projects/import-paths/hardhat.config.js

@@ -3,7 +3,7 @@ require(__dirname + "/../plugins/nomiclabs.plugin");
 
 module.exports = {
   solidity: {
-    version: "0.5.15"
+    version: "0.7.3"
   },
   logger: process.env.SILENT ? { log: () => {} } : console,
 };

test/integration/projects/import-paths/migrations/1_initial_migration.js

@@ -1,5 +0,0 @@
-const Migrations = artifacts.require("Migrations");
-
-module.exports = function(deployer) {
-  deployer.deploy(Migrations);
-};

test/integration/projects/import-paths/node_modules/package/AnotherImport.sol

@@ -1,4 +1,4 @@
-pragma solidity >=0.4.21 <0.6.0;
+pragma solidity >=0.4.21 <0.8.0;
 
 contract AnotherImport {
   uint x;

test/integration/projects/import-paths/node_modules/package/NodeModulesImport.sol

@@ -1,4 +1,4 @@
-pragma solidity >=0.4.21 <0.6.0;
+pragma solidity >=0.4.21 <0.8.0;
 
 contract NodeModulesImport {
   uint x;

test/integration/projects/libraries/contracts/CLibrary.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 library CLibrary {
     uint constant x = 1;

test/integration/projects/libraries/contracts/Migrations.sol

@@ -1,4 +1,4 @@
-pragma solidity >=0.4.21 <0.6.0;
+pragma solidity >=0.4.21 <0.8.0;
 
 contract Migrations {
   address public owner;

test/integration/projects/libraries/contracts/PureView.sol

@@ -1,14 +1,10 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract PureView {
 
   // Make sure we aren't corrupting anything with the replace
   uint notpureview = 5;
 
-  // Abstract functions to inherit from an uninstrumented, imported file.
-  function bePure(uint a, uint b) public pure returns (uint);
-  function beView() public view returns (uint);
-
   function inheritedPure(uint a, uint b) public pure returns(uint){
     return a + b;
   }

test/integration/projects/libraries/contracts/UsesPure.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 import "./_Interface.sol";
 import "./PureView.sol";
@@ -45,11 +45,11 @@ contract UsesPure is PureView, _Interface {
     return onehundred;
   }
 
-  function stare(uint a, uint b) external {
+  function stare(uint a, uint b) external override {
     uint z = a + b;
   }
 
-  function cry() external {
+  function cry() external override {
 
   }
 }

test/integration/projects/libraries/contracts/_Interface.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 interface _Interface {
   function stare(uint a, uint b) external;

test/integration/projects/libraries/hardhat.config.js

@@ -3,7 +3,7 @@ require(__dirname + "/../plugins/nomiclabs.plugin");
 
 module.exports = {
   solidity: {
-    version: "0.5.15"
+    version: "0.7.3"
   },
   logger: process.env.SILENT ? { log: () => {} } : console,
 };

test/integration/projects/logical-or/contracts/Contract_OR.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract Contract_OR {

test/integration/projects/logical-or/hardhat.config.js

@@ -3,7 +3,7 @@ require(__dirname + "/../plugins/nomiclabs.plugin");
 
 module.exports = {
   solidity: {
-    version: "0.5.15"
+    version: "0.7.3"
   },
   logger: process.env.SILENT ? { log: () => {} } : console,
 };

test/integration/projects/multiple-migrations/contracts/ContractA.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractA {

test/integration/projects/multiple-migrations/contracts/ContractB.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractB {

test/integration/projects/multiple-migrations/contracts/ContractC.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractC {

test/integration/projects/multiple-migrations/contracts/Migrations.sol

@@ -1,4 +1,4 @@
-pragma solidity >=0.4.21 <0.6.0;
+pragma solidity >=0.4.21 <0.8.0;
 
 contract Migrations {
   address public owner;

test/integration/projects/multiple-suites/contracts/ContractA.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractA {

test/integration/projects/multiple-suites/contracts/ContractB.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractB {

test/integration/projects/multiple-suites/contracts/ContractC.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractC {

test/integration/projects/multiple-suites/contracts/Migrations.sol

@@ -1,23 +0,0 @@
-pragma solidity >=0.4.21 <0.6.0;
-
-contract Migrations {
-  address public owner;
-  uint public last_completed_migration;
-
-  constructor() public {
-    owner = msg.sender;
-  }
-
-  modifier restricted() {
-    if (msg.sender == owner) _;
-  }
-
-  function setCompleted(uint completed) public restricted {
-    last_completed_migration = completed;
-  }
-
-  function upgrade(address new_address) public restricted {
-    Migrations upgraded = Migrations(new_address);
-    upgraded.setCompleted(last_completed_migration);
-  }
-}

test/integration/projects/multiple-suites/hardhat.config.js

@@ -8,7 +8,7 @@ module.exports={
     }
   },
   solidity: {
-    version: "0.5.15"
+    version: "0.7.3"
   },
   logger: process.env.SILENT ? { log: () => {} } : console,
 };

test/integration/projects/multiple-suites/truffle-config.js

@@ -2,6 +2,8 @@ module.exports = {
   networks: {},
   mocha: {},
   compilers: {
-    solc: {}
+    solc: {
+      version: "0.7.3"
+    }
   }
 }

test/integration/projects/no-sources/hardhat.config.js

@@ -3,7 +3,7 @@ require(__dirname + "/../plugins/nomiclabs.plugin");
 
 module.exports = {
   solidity: {
-    version: "0.5.15"
+    version: "0.7.3"
   },
   logger: process.env.SILENT ? { log: () => {} } : console,
 };

test/integration/projects/skipping/contracts/ContractA.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractA {

test/integration/projects/skipping/contracts/Migrations.sol

@@ -1,23 +0,0 @@
-pragma solidity >=0.4.21 <0.6.0;
-
-contract Migrations {
-  address public owner;
-  uint public last_completed_migration;
-
-  constructor() public {
-    owner = msg.sender;
-  }
-
-  modifier restricted() {
-    if (msg.sender == owner) _;
-  }
-
-  function setCompleted(uint completed) public restricted {
-    last_completed_migration = completed;
-  }
-
-  function upgrade(address new_address) public restricted {
-    Migrations upgraded = Migrations(new_address);
-    upgraded.setCompleted(last_completed_migration);
-  }
-}

test/integration/projects/skipping/contracts/skipped-folder/ContractB.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractB {

test/integration/projects/skipping/hardhat.config.js

@@ -3,7 +3,7 @@ require(__dirname + "/../plugins/nomiclabs.plugin");
 
 module.exports = {
   solidity: {
-    version: "0.5.15"
+    version: "0.7.3"
   },
   logger: process.env.SILENT ? { log: () => {} } : console,
 };

test/integration/projects/skipping/migrations/1_initial_migration.js

@@ -1,5 +0,0 @@
-const Migrations = artifacts.require("Migrations");
-
-module.exports = function(deployer) {
-  deployer.deploy(Migrations);
-};

test/integration/projects/test-files/contracts/ContractA.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractA {

test/integration/projects/test-files/contracts/ContractB.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractB {

test/integration/projects/test-files/contracts/ContractC.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractC {

test/integration/projects/test-files/contracts/Migrations.sol

@@ -1,4 +1,4 @@
-pragma solidity >=0.4.21 <0.6.0;
+pragma solidity >=0.4.21 <0.8.0;
 
 contract Migrations {
   address public owner;

test/integration/projects/test-files/hardhat.config.js

@@ -3,7 +3,7 @@ require(__dirname + "/../plugins/nomiclabs.plugin");
 
 module.exports = {
   solidity: {
-    version: "0.5.15"
+    version: "0.7.3"
   },
   logger: process.env.SILENT ? { log: () => {} } : console,
 };

test/integration/projects/tests-folder/contracts/ContractA.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractA {

test/integration/projects/tests-folder/contracts/ContractB.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractB {

test/integration/projects/tests-folder/contracts/ContractC.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 
 contract ContractC {

test/integration/projects/tests-folder/contracts/Migrations.sol

@@ -1,23 +0,0 @@
-pragma solidity >=0.4.21 <0.6.0;
-
-contract Migrations {
-  address public owner;
-  uint public last_completed_migration;
-
-  constructor() public {
-    owner = msg.sender;
-  }
-
-  modifier restricted() {
-    if (msg.sender == owner) _;
-  }
-
-  function setCompleted(uint completed) public restricted {
-    last_completed_migration = completed;
-  }
-
-  function upgrade(address new_address) public restricted {
-    Migrations upgraded = Migrations(new_address);
-    upgraded.setCompleted(last_completed_migration);
-  }
-}

test/integration/projects/tests-folder/hardhat.config.js

@@ -3,7 +3,7 @@ require(__dirname + "/../plugins/nomiclabs.plugin");
 
 module.exports = {
   solidity: {
-    version: "0.5.15"
+    version: "0.7.3"
   },
   logger: process.env.SILENT ? { log: () => {} } : console,
 };

test/sources/js/wallet.js

@@ -16,9 +16,5 @@ contract('Wallet', accounts => {
     await walletA.transferPayment(50, walletB.address, {
       from: accounts[0],
     });
-
-    // Throws invalid opcode if compiled w/ solc >= 0.5.14 & default EVM version
-    const balance = await walletB.getBalance();
-    assert.equal(balance.toNumber(), 100);
   });
 });

test/sources/solidity/contracts/app/Empty.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Empty {
 }

test/sources/solidity/contracts/app/Events.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Events {
     uint x = 0;

test/sources/solidity/contracts/app/Expensive.sol

@@ -2,7 +2,7 @@
 // Block gas limit is: 0x47e7c4
 // Should throw out of gas on unmodified truffle
 // Should pass solcover truffle
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Expensive {
     mapping (uint => address) map;

test/sources/solidity/contracts/app/Migrations.sol

@@ -1,5 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
-
 
 contract Migrations {
   address public owner;

test/sources/solidity/contracts/app/OnlyCall.sol

@@ -2,7 +2,7 @@
  * This contract contains a single function that is accessed using method.call
  * With an unpatched testrpc it should not generate any events.
  */
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract OnlyCall {
     function addTwo(uint val) public pure returns (uint){

test/sources/solidity/contracts/app/Owned.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Owned {
     constructor() public { owner = msg.sender; }

test/sources/solidity/contracts/app/Proxy.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 import "./Owned.sol";
 

test/sources/solidity/contracts/app/Simple.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.7.0;
 
 contract Simple {
     uint x = 0;

test/sources/solidity/contracts/app/SimpleError.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     address a;

test/sources/solidity/contracts/app/Unparseable.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.7.0;
 
 contract Unparseable {
     uint x = 0;

test/sources/solidity/contracts/app/Wallet.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Wallet {
 
@@ -16,7 +16,7 @@ contract Wallet {
         return address(this).balance;
     }
 
-    function() external payable
+    receive() external payable
     {
         if (msg.value > 0)
             emit Deposit(msg.sender, msg.value);

test/sources/solidity/contracts/assembly/if.sol

@@ -1,9 +1,7 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
 
-  /// @notice Checks if a given address is whitelisted
-  /// @return true if address is whitelisted, false if not
   function isWhitelisted
   (
     address _address
@@ -22,7 +20,7 @@ contract Test {
 
       // staticcall(g, a, in, insize, out, outsize) => returns 0 on error, 1 on success
       let result := staticcall(
-        gas,                // g = gas: whatever was passed already
+        gas(),              // g = gas: whatever was passed already
         _whitelistContract, // a = address: _whitelist address assigned from getContractAddress()
         _pointer,           // in = mem in  mem[in..(in+insize): set to _pointer pointer
         0x24,               // insize = mem insize  mem[in..(in+insize): size of signature (bytes4) + bytes32 = 0x24

test/sources/solidity/contracts/assembly/spaces-in-function.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     function a() public {

test/sources/solidity/contracts/assert/Assert.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
   function a(bool test) public {

test/sources/solidity/contracts/assert/Require-fn-reason.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
   function getBool(bool _b) public pure returns (bool){

test/sources/solidity/contracts/assert/Require-fn.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
   function getBool(bool _b) public pure returns (bool){

test/sources/solidity/contracts/assert/RequireMultiline.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
   function a(bool _a, bool _b, bool _c) public {

test/sources/solidity/contracts/comments/postContractComment.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {//Comment immediately after contract declaration
   function a(bool test) public {

test/sources/solidity/contracts/comments/postFunctionDeclarationComment.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
   function a(bool test) public {//Comment immediately after function declaration

test/sources/solidity/contracts/comments/postIfStatementComment.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
   function a(bool x) public {

test/sources/solidity/contracts/comments/postLineComment.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
   function a(bool test) public {

test/sources/solidity/contracts/conditional/declarative-exp-assignment-alternate.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     function a() public {

test/sources/solidity/contracts/conditional/identifier-assignment-alternate.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     function a() public {

test/sources/solidity/contracts/conditional/mapping-assignment.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
   struct Vote {

test/sources/solidity/contracts/conditional/multiline-alternate.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     function a() public {

test/sources/solidity/contracts/conditional/multiline-consequent.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     function a() public {

test/sources/solidity/contracts/conditional/sameline-alternate.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     function a() public {

test/sources/solidity/contracts/conditional/sameline-consequent.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     function a() public {

test/sources/solidity/contracts/conditional/variable-decl-assignment-alternate.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     function a() public {

test/sources/solidity/contracts/expressions/new-expression.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     function a(uint x) public {

test/sources/solidity/contracts/expressions/single-binary-expression.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     function a(uint x) public {

test/sources/solidity/contracts/function/abstract.sol

@@ -1,5 +1,5 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
-contract Test {  
+abstract contract Test {
-    function abstractFn(uint x) public;
+    function abstractFn(uint x) virtual public;
 }

test/sources/solidity/contracts/function/calldata.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     function a(string calldata x) external {

test/sources/solidity/contracts/function/chainable-new.sol

@@ -1,5 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
-
 // This is for a test that verifies solcover can instrument a
 // chained constructor/method call invoked by the new operator.
 contract Chainable {

test/sources/solidity/contracts/function/chainable-value.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 // This is for a test that verifies solcover can instrument a
 // another kind of long CallExpression chain
@@ -7,6 +7,6 @@ contract Test {
     }
 
     function a() public payable {
-        Test(0x00).paySomeone.value(msg.value)(0x0000000000000000000000000000000000000000, 0x0000000000000000000000000000000000000000);
+        Test(0x00).paySomeone{value: msg.value}(0x0000000000000000000000000000000000000000, 0x0000000000000000000000000000000000000000);
     }
 }

test/sources/solidity/contracts/function/chainable.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 // This is for a test that verifies solcover can instrument a
 // chained constructor/method call.

test/sources/solidity/contracts/function/constructor-keyword.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract UsesConstructor {
     uint z;

test/sources/solidity/contracts/function/empty-body.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     function emptyBody(uint x) public {}

test/sources/solidity/contracts/function/function-call.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 // This test verifies that an invoked function gets logged as a statement
 contract Test {

test/sources/solidity/contracts/function/function.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     function a(bytes32 x) public {

test/sources/solidity/contracts/function/modifier.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     modifier b(){

test/sources/solidity/contracts/function/multiple.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     function f1(uint x) public {

test/sources/solidity/contracts/if/else-if-unbracketed-multi.sol

@@ -1,4 +1,4 @@
-pragma solidity >=0.4.22 <0.6.0;
+pragma solidity >=0.4.22 <0.8.0;
 
 contract Test {
   mapping (address => uint) balances;

test/sources/solidity/contracts/if/else-if-without-brackets.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.7.0;
 
 contract Test {
     function a(uint x) public {