Prefix versions (#1285)

* Prefix versions

* Fix solidity_contract tests

tests/solidity_contract_test.py

@@ -12,7 +12,7 @@ class SolidityContractTest(BaseTestCase):
         input_file = TEST_FILES / "multi_contracts.sol"
         contract = SolidityContract(str(input_file))
 
-        code_info = contract.get_source_info(142)
+        code_info = contract.get_source_info(109)
 
         self.assertEqual(code_info.filename, str(input_file))
         self.assertEqual(code_info.lineno, 14)
@@ -22,7 +22,7 @@ class SolidityContractTest(BaseTestCase):
         input_file = TEST_FILES / "multi_contracts.sol"
         contract = SolidityContract(str(input_file), name="Transfer1")
 
-        code_info = contract.get_source_info(142)
+        code_info = contract.get_source_info(109)
 
         self.assertEqual(code_info.filename, str(input_file))
         self.assertEqual(code_info.lineno, 6)
@@ -32,7 +32,7 @@ class SolidityContractTest(BaseTestCase):
         input_file = TEST_FILES / "constructor_assert.sol"
         contract = SolidityContract(str(input_file), name="AssertFail")
 
-        code_info = contract.get_source_info(70, constructor=True)
+        code_info = contract.get_source_info(75, constructor=True)
 
         self.assertEqual(code_info.filename, str(input_file))
         self.assertEqual(code_info.lineno, 6)

tests/testdata/input_contracts/calls.sol

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

tests/testdata/input_contracts/constructor_assert.sol

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

tests/testdata/input_contracts/environments.sol

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

tests/testdata/input_contracts/ether_send.sol

@@ -1,4 +1,5 @@
-pragma solidity 0.5.0;
+pragma solidity ^0.5.0;
+
 
 
 contract Crowdfunding {

tests/testdata/input_contracts/exceptions.sol

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

tests/testdata/input_contracts/kinds_of_calls.sol

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

tests/testdata/input_contracts/metacoin.sol

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

tests/testdata/input_contracts/multi_contracts.sol

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

tests/testdata/input_contracts/nonascii.sol

@@ -1,8 +1,8 @@
-pragma solidity 0.5.0;
+pragma solidity ^0.5.0;
 
 
 contract nonAscii {
   function renderNonAscii () public pure returns (string memory) {
 	  return "Хэллоу Ворлд";
   }
-}
+}

tests/testdata/input_contracts/origin.sol

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

tests/testdata/input_contracts/overflow.sol

@@ -1,3 +1,4 @@
+pragma solidity ^0.5.0;
 
 
 contract Over {

tests/testdata/input_contracts/returnvalue.sol

@@ -1,4 +1,4 @@
-pragma solidity 0.5.0;
+pragma solidity ^0.5.0;
 
 
 contract ReturnValue {
@@ -14,4 +14,4 @@ contract ReturnValue {
     require(success);
   }
 
-}
+}

tests/testdata/input_contracts/rubixi.sol

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

tests/testdata/input_contracts/suicide.sol

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

tests/testdata/input_contracts/underflow.sol

@@ -1,4 +1,4 @@
-pragma solidity 0.5.0;
+pragma solidity ^0.5.0;
 
 
 contract Under {
@@ -20,4 +20,4 @@ contract Under {
   function balanceOf(address _owner) public view returns (uint balance) {
     return balances[_owner];
   }
-}
+}

tests/testdata/input_contracts/weak_random.sol

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