Adding tests powered by solidity-test

contracts/proxy4tests/SafeMath.sol

@@ -0,0 +1,28 @@
+import "../SafeMath.sol";
+
+contract ProxySafeMath  {
+
+      using SafeMath for uint256;
+
+   function testadd(uint256  a, uint256  b) public pure returns (uint256 ){
+    return a.add(b);
+   }
+
+   function testsub(uint256  a, uint256  b) public pure returns (uint256 ){
+    return a.sub(b);
+   }
+
+   function testmul(uint256  a, uint256  b) public pure returns (uint256 ){
+    return a.mul(b);
+   }
+
+   function testdiv(uint256  a, uint256  b) public pure returns (uint256 ){
+    return a.div(b);
+   }
+
+   function testmod(uint256  a, uint256  b) public pure returns (uint256 ){
+    return a.mod(b);
+   }
+
+
+}

contracts/proxy4tests/Token.sol

@@ -0,0 +1,27 @@
+import "../Token.sol";
+
+contract ProxyToken  is Token  {
+
+      constructor() public  {}
+   function test_transfer(address  sender, address  recipient, uint256  amount) public  {
+    _transfer(sender,recipient,amount);
+   }
+
+   function test_mint(address  account, uint256  amount) public  {
+    _mint(account,amount);
+   }
+
+   function test_burn(address  account, uint256  value) public  {
+    _burn(account,value);
+   }
+
+   function test_approve(address  owner, address  spender, uint256  value) public  {
+    _approve(owner,spender,value);
+   }
+
+   function test_burnFrom(address  account, uint256  amount) public  {
+    _burnFrom(account,amount);
+   }
+
+
+}