From 165d2239ffec29be3d1135ad4414a35d342d254c Mon Sep 17 00:00:00 2001
From: Nikhil <nikhilparasaram@gmail.com>
Date: Tue, 16 Jul 2019 19:45:55 +0530
Subject: [PATCH] Remove pragmas

---
 tests/native_tests.sol                                | 1 -
 tests/testdata/input_contracts/calls.sol              | 1 -
 tests/testdata/input_contracts/constructor_assert.sol | 1 -
 tests/testdata/input_contracts/environments.sol       | 1 -
 tests/testdata/input_contracts/ether_send.sol         | 1 -
 tests/testdata/input_contracts/exceptions.sol         | 1 -
 tests/testdata/input_contracts/kinds_of_calls.sol     | 1 -
 tests/testdata/input_contracts/metacoin.sol           | 1 -
 tests/testdata/input_contracts/multi_contracts.sol    | 1 -
 tests/testdata/input_contracts/nonascii.sol           | 3 +--
 tests/testdata/input_contracts/origin.sol             | 1 -
 tests/testdata/input_contracts/returnvalue.sol        | 4 +---
 tests/testdata/input_contracts/rubixi.sol             | 1 -
 tests/testdata/input_contracts/suicide.sol            | 1 -
 tests/testdata/input_contracts/underflow.sol          | 3 +--
 tests/testdata/input_contracts/weak_random.sol        | 1 -
 16 files changed, 3 insertions(+), 20 deletions(-)

diff --git a/tests/native_tests.sol b/tests/native_tests.sol
index f786c1bd..5832b3ea 100644
--- a/tests/native_tests.sol
+++ b/tests/native_tests.sol
@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Caller {
diff --git a/tests/testdata/input_contracts/calls.sol b/tests/testdata/input_contracts/calls.sol
index cc7998ee..6679ad34 100644
--- a/tests/testdata/input_contracts/calls.sol
+++ b/tests/testdata/input_contracts/calls.sol
@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Caller {
diff --git a/tests/testdata/input_contracts/constructor_assert.sol b/tests/testdata/input_contracts/constructor_assert.sol
index fa1e7018..80c59506 100644
--- a/tests/testdata/input_contracts/constructor_assert.sol
+++ b/tests/testdata/input_contracts/constructor_assert.sol
@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract AssertFail {
diff --git a/tests/testdata/input_contracts/environments.sol b/tests/testdata/input_contracts/environments.sol
index 4a3a66a4..73f40f92 100644
--- a/tests/testdata/input_contracts/environments.sol
+++ b/tests/testdata/input_contracts/environments.sol
@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract IntegerOverflow2 {
diff --git a/tests/testdata/input_contracts/ether_send.sol b/tests/testdata/input_contracts/ether_send.sol
index 59e1e245..cf3a27fd 100644
--- a/tests/testdata/input_contracts/ether_send.sol
+++ b/tests/testdata/input_contracts/ether_send.sol
@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Crowdfunding {
diff --git a/tests/testdata/input_contracts/exceptions.sol b/tests/testdata/input_contracts/exceptions.sol
index aa925603..0a7d0e78 100644
--- a/tests/testdata/input_contracts/exceptions.sol
+++ b/tests/testdata/input_contracts/exceptions.sol
@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Exceptions {
diff --git a/tests/testdata/input_contracts/kinds_of_calls.sol b/tests/testdata/input_contracts/kinds_of_calls.sol
index 2b1cb8c4..10569475 100644
--- a/tests/testdata/input_contracts/kinds_of_calls.sol
+++ b/tests/testdata/input_contracts/kinds_of_calls.sol
@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract D {
diff --git a/tests/testdata/input_contracts/metacoin.sol b/tests/testdata/input_contracts/metacoin.sol
index 557c0d11..0613be66 100644
--- a/tests/testdata/input_contracts/metacoin.sol
+++ b/tests/testdata/input_contracts/metacoin.sol
@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract MetaCoin {
diff --git a/tests/testdata/input_contracts/multi_contracts.sol b/tests/testdata/input_contracts/multi_contracts.sol
index c8c4e76a..18f03b97 100644
--- a/tests/testdata/input_contracts/multi_contracts.sol
+++ b/tests/testdata/input_contracts/multi_contracts.sol
@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Transfer1 {
diff --git a/tests/testdata/input_contracts/nonascii.sol b/tests/testdata/input_contracts/nonascii.sol
index d8a28a61..eea6a0a2 100644
--- a/tests/testdata/input_contracts/nonascii.sol
+++ b/tests/testdata/input_contracts/nonascii.sol
@@ -1,8 +1,7 @@
-pragma solidity 0.5.0;
 
 
 contract nonAscii {
   function renderNonAscii () public pure returns (string memory) {
 	  return "Хэллоу Ворлд";
   }
-}
\ No newline at end of file
+}
diff --git a/tests/testdata/input_contracts/origin.sol b/tests/testdata/input_contracts/origin.sol
index 2ceb10f8..2f054bca 100644
--- a/tests/testdata/input_contracts/origin.sol
+++ b/tests/testdata/input_contracts/origin.sol
@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Origin {
diff --git a/tests/testdata/input_contracts/returnvalue.sol b/tests/testdata/input_contracts/returnvalue.sol
index 88bd8805..80f85129 100644
--- a/tests/testdata/input_contracts/returnvalue.sol
+++ b/tests/testdata/input_contracts/returnvalue.sol
@@ -1,5 +1,3 @@
-pragma solidity 0.5.0;
-
 
 contract ReturnValue {
 
@@ -14,4 +12,4 @@ contract ReturnValue {
     require(success);
   }
 
-}
\ No newline at end of file
+}
diff --git a/tests/testdata/input_contracts/rubixi.sol b/tests/testdata/input_contracts/rubixi.sol
index 8e1567c6..f3194e55 100644
--- a/tests/testdata/input_contracts/rubixi.sol
+++ b/tests/testdata/input_contracts/rubixi.sol
@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Rubixi {
diff --git a/tests/testdata/input_contracts/suicide.sol b/tests/testdata/input_contracts/suicide.sol
index 4c77157b..7c9a3a7d 100644
--- a/tests/testdata/input_contracts/suicide.sol
+++ b/tests/testdata/input_contracts/suicide.sol
@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Suicide {
diff --git a/tests/testdata/input_contracts/underflow.sol b/tests/testdata/input_contracts/underflow.sol
index 01ed4ef9..f97df594 100644
--- a/tests/testdata/input_contracts/underflow.sol
+++ b/tests/testdata/input_contracts/underflow.sol
@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Under {
@@ -20,4 +19,4 @@ contract Under {
   function balanceOf(address _owner) public view returns (uint balance) {
     return balances[_owner];
   }
-}
\ No newline at end of file
+}
diff --git a/tests/testdata/input_contracts/weak_random.sol b/tests/testdata/input_contracts/weak_random.sol
index 5acdd7ef..f292049c 100644
--- a/tests/testdata/input_contracts/weak_random.sol
+++ b/tests/testdata/input_contracts/weak_random.sol
@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract WeakRandom {