Reduce warnings in commandline tests.

test/cmdlineTests/output_selection_all_A1/input.json

@@ -2,10 +2,10 @@
  "language": "Solidity",
  "sources": {
   "a.sol": {
-   "content": "//SPDX-License-Identifier: GPL-3.0\ncontract A1 { function a(uint x) public pure { assert(x > 0); } } contract A2 { function a(uint x) public pure { assert(x > 0); } }"
+   "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function a(uint x) public pure { assert(x > 0); } } contract A2 { function a(uint x) public pure { assert(x > 0); } }"
   },
   "b.sol": {
-   "content": "//SPDX-License-Identifier: GPL-3.0\ncontract A1 { function b(uint x) public { assert(x > 0); } } contract B2 { function b(uint x) public pure { assert(x > 0); } }"
+   "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function b(uint x) public pure { assert(x > 0); } } contract B2 { function b(uint x) public pure { assert(x > 0); } }"
   }
  },
  "settings": {

test/cmdlineTests/output_selection_all_A2/input.json

@@ -2,10 +2,10 @@
  "language": "Solidity",
  "sources": {
   "a.sol": {
-   "content": "//SPDX-License-Identifier: GPL-3.0\ncontract A1 { function a(uint x) public pure { assert(x > 0); } } contract A2 { function a(uint x) public pure { assert(x > 0); } }"
+   "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function a(uint x) public pure { assert(x > 0); } } contract A2 { function a(uint x) public pure { assert(x > 0); } }"
   },
   "b.sol": {
-   "content": "//SPDX-License-Identifier: GPL-3.0\ncontract A1 { function b(uint x) public { assert(x > 0); } } contract B2 { function b(uint x) public pure { assert(x > 0); } }"
+   "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function b(uint x) public pure { assert(x > 0); } } contract B2 { function b(uint x) public pure { assert(x > 0); } }"
   }
  },
  "settings": {

test/cmdlineTests/output_selection_all_blank/input.json

@@ -2,10 +2,10 @@
  "language": "Solidity",
  "sources": {
   "a.sol": {
-   "content": "//SPDX-License-Identifier: GPL-3.0\ncontract A1 { function a(uint x) public pure { assert(x > 0); } } contract A2 { function a(uint x) public pure { assert(x > 0); } }"
+   "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function a(uint x) public pure { assert(x > 0); } } contract A2 { function a(uint x) public pure { assert(x > 0); } }"
   },
   "b.sol": {
-   "content": "//SPDX-License-Identifier: GPL-3.0\ncontract A1 { function b(uint x) public { assert(x > 0); } } contract B2 { function b(uint x) public pure { assert(x > 0); } }"
+   "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function b(uint x) public pure { assert(x > 0); } } contract B2 { function b(uint x) public pure { assert(x > 0); } }"
   }
  },
  "settings": {

test/cmdlineTests/output_selection_all_star/input.json

@@ -2,10 +2,10 @@
  "language": "Solidity",
  "sources": {
   "a.sol": {
-   "content": "//SPDX-License-Identifier: GPL-3.0\ncontract A1 { function a(uint x) public pure { assert(x > 0); } } contract A2 { function a(uint x) public pure { assert(x > 0); } }"
+   "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function a(uint x) public pure { assert(x > 0); } } contract A2 { function a(uint x) public pure { assert(x > 0); } }"
   },
   "b.sol": {
-   "content": "//SPDX-License-Identifier: GPL-3.0\ncontract A1 { function b(uint x) public { assert(x > 0); } } contract B2 { function b(uint x) public pure { assert(x > 0); } }"
+   "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function b(uint x) public pure { assert(x > 0); } } contract B2 { function b(uint x) public pure { assert(x > 0); } }"
   }
  },
  "settings": {

test/cmdlineTests/output_selection_single_A1/input.json

@@ -2,10 +2,10 @@
  "language": "Solidity",
  "sources": {
   "a.sol": {
-   "content": "//SPDX-License-Identifier: GPL-3.0\ncontract A1 { function a(uint x) public pure { assert(x > 0); } } contract A2 { function a(uint x) public pure { assert(x > 0); } }"
+   "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function a(uint x) public pure { assert(x > 0); } } contract A2 { function a(uint x) public pure { assert(x > 0); } }"
   },
   "b.sol": {
-   "content": "//SPDX-License-Identifier: GPL-3.0\ncontract A1 { function b(uint x) public { assert(x > 0); } } contract B2 { function b(uint x) public pure { assert(x > 0); } }"
+   "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function b(uint x) public pure { assert(x > 0); } } contract B2 { function b(uint x) public pure { assert(x > 0); } }"
   }
  },
  "settings": {

test/cmdlineTests/output_selection_single_B1/input.json

@@ -2,10 +2,10 @@
  "language": "Solidity",
  "sources": {
   "a.sol": {
-   "content": "//SPDX-License-Identifier: GPL-3.0\ncontract A1 { function a(uint x) public pure { assert(x > 0); } } contract A2 { function a(uint x) public pure { assert(x > 0); } }"
+   "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function a(uint x) public pure { assert(x > 0); } } contract A2 { function a(uint x) public pure { assert(x > 0); } }"
   },
   "b.sol": {
-   "content": "//SPDX-License-Identifier: GPL-3.0\ncontract A1 { function b(uint x) public { assert(x > 0); } } contract B2 { function b(uint x) public pure { assert(x > 0); } }"
+   "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function b(uint x) public pure { assert(x > 0); } } contract B2 { function b(uint x) public pure { assert(x > 0); } }"
   }
  },
  "settings": {

test/cmdlineTests/output_selection_single_all/input.json

@@ -2,10 +2,10 @@
  "language": "Solidity",
  "sources": {
   "a.sol": {
-   "content": "//SPDX-License-Identifier: GPL-3.0\ncontract A1 { function a(uint x) public pure { assert(x > 0); } } contract A2 { function a(uint x) public pure { assert(x > 0); } }"
+   "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function a(uint x) public pure { assert(x > 0); } } contract A2 { function a(uint x) public pure { assert(x > 0); } }"
   },
   "b.sol": {
-   "content": "//SPDX-License-Identifier: GPL-3.0\ncontract A1 { function b(uint x) public { assert(x > 0); } } contract B2 { function b(uint x) public pure { assert(x > 0); } }"
+   "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function b(uint x) public pure { assert(x > 0); } } contract B2 { function b(uint x) public pure { assert(x > 0); } }"
   }
  },
  "settings": {

test/cmdlineTests/standard_immutable_references/input.json

@@ -2,7 +2,7 @@
  "language": "Solidity",
  "sources": {
   "a.sol": {
-   "content": "// SPDX-License-Identifier: GPL-3.0\ncontract A { uint256 immutable x = 1 + 3; function f() public pure returns (uint256) { return x; } }"
+   "content": "// SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { uint256 immutable x = 1 + 3; function f() public pure returns (uint256) { return x; } }"
   }
  },
  "settings": {

test/cmdlineTests/standard_optimizer_generatedSources/input.json

@@ -2,7 +2,7 @@
  "language": "Solidity",
  "sources": {
   "a.sol": {
-   "content": "// SPDX-License-Identifier: GPL-3.0\npragma abicoder v2; contract A { function f(uint[] memory) public view returns (uint256) { } }"
+   "content": "// SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\npragma abicoder v2; contract A { function f(uint[] memory) public view returns (uint256) { } }"
   }
  },
  "settings": {

test/cmdlineTests/standard_viair_requested/input.json

@@ -4,7 +4,7 @@
 	{
 		"A":
 		{
-			"content": "// SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0; contract C {} contract D { function f() public { C c = new C(); } }"
+			"content": "// SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0; contract C {} contract D { function f() public { new C(); } }"
 		}
 	},
 	"settings":

test/cmdlineTests/standard_wrong_type_auxiliary_input_smtlib2responses/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { }"
 		}
 	},
 	"settings": {

test/cmdlineTests/standard_wrong_type_auxiliary_input_smtlib2responses_member/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { }"
 		}
 	},
 	"settings": {

test/cmdlineTests/standard_wrong_type_output_selection/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { }"
 		}
 	},
 	"settings": {

test/cmdlineTests/standard_wrong_type_output_selection_contract/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { }"
 		}
 	},
 	"settings": {

test/cmdlineTests/standard_wrong_type_output_selection_file/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { }"
 		}
 	},
 	"settings": {

test/cmdlineTests/standard_wrong_type_output_selection_output/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { }"
 		}
 	},
 	"settings": {

test/cmdlineTests/standard_wrong_type_remappings/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { }"
 		}
 	},
 	"settings": {

test/cmdlineTests/standard_wrong_type_remappings_entry/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { }"
 		}
 	},
 	"settings": {

test/cmdlineTests/storage_layout_bytes/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { bytes s1 = \"test\"; bytes s2; }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { bytes s1 = \"test\"; bytes s2; }"
 		}
 	},
 	"settings": {

test/cmdlineTests/storage_layout_dyn_array/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { uint[] array1; bool[] array2; }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { uint[] array1; bool[] array2; }"
 		}
 	},
 	"settings": {

test/cmdlineTests/storage_layout_many/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { struct S { uint128 a; uint128 b; uint[2] staticArray; uint[] dynArray; } uint x; uint y; S s; address addr; mapping (uint => mapping (address => bool)) map; uint[] array; string s1; bytes b1; }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { struct S { uint128 a; uint128 b; uint[2] staticArray; uint[] dynArray; } uint x; uint y; S s; address addr; mapping (uint => mapping (address => bool)) map; uint[] array; string s1; bytes b1; }"
 		}
 	},
 	"settings": {

test/cmdlineTests/storage_layout_mapping/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { uint x; uint y; mapping (uint => mapping (address => bool)) map; }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { uint x; uint y; mapping (uint => mapping (address => bool)) map; }"
 		}
 	},
 	"settings": {

test/cmdlineTests/storage_layout_smoke/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { }"
 		}
 	},
 	"settings": {

test/cmdlineTests/storage_layout_smoke_two_contracts/input.json

@@ -2,10 +2,10 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { }"
 		},
 		"fileB": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { uint x; uint y; }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { uint x; uint y; }"
 		}
 	},
 	"settings": {

test/cmdlineTests/storage_layout_string/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { string s1 = \"test\"; string s2; }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { string s1 = \"test\"; string s2; }"
 		}
 	},
 	"settings": {

test/cmdlineTests/storage_layout_struct/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { struct S { uint a; uint b; uint[2] staticArray; uint[] dynArray; } uint x; uint y; S s; address addr; }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { struct S { uint a; uint b; uint[2] staticArray; uint[] dynArray; } uint x; uint y; S s; address addr; }"
 		}
 	},
 	"settings": {

test/cmdlineTests/storage_layout_struct_packed/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { struct S { uint128 a; uint128 b; uint[2] staticArray; uint[] dynArray; } uint x; uint y; S s; address addr; }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { struct S { uint128 a; uint128 b; uint[2] staticArray; uint[] dynArray; } uint x; uint y; S s; address addr; }"
 		}
 	},
 	"settings": {

test/cmdlineTests/storage_layout_value_types/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { uint x; uint y; address addr; uint[2] array; }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { uint x; uint y; address addr; uint[2] array; }"
 		}
 	},
 	"settings": {

test/cmdlineTests/storage_layout_value_types_packed/input.json

@@ -2,7 +2,7 @@
 	"language": "Solidity",
 	"sources": {
 		"fileA": {
-			"content": "//SPDX-License-Identifier: GPL-3.0\ncontract A { uint64 x; uint128 y; uint128 z; address addr; uint[2] array; }"
+			"content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A { uint64 x; uint128 y; uint128 z; address addr; uint[2] array; }"
 		}
 	},
 	"settings": {