Mayur1496

pragma solidity ^0.5.5;

library Search {
   function indexOf(uint[] storage self, uint value) public view returns (uint) {
      for (uint i = 0; i < self.length; i++) if (self[i] == value) return i;
      return uint(-1);
   }
}
contract Test {
   uint[] data;

Mayur1496

// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.6.0 <0.8.0;


// This is the same code as before, just without comments
struct Data { mapping(uint => bool) flags; }

library Set {
    function insert(Data storage self, uint value)
        public

Mayur1496

WARNING:root:You are using an untested version of z3. 4.5.1 is the officially tested version
WARNING:root:You are using evm version 1.8.16. The supported version is 1.7.3
WARNING:root:You are using solc version 0.5.4, The latest supported version is 0.4.19
incomplete push instruction at 3101
INFO:root:contract ./contracts/i.sol:Ballot:
INFO:symExec:	============ Results ===========
INFO:symExec:	  EVM Code Coverage: 			 93.3%
INFO:symExec:	  Integer Underflow: 			 False
INFO:symExec:	  Integer Overflow: 			 True
INFO:symExec:	  Parity Multisig Bug 2: 		 False

Mayur1496

//https://solidity.readthedocs.io/en/v0.5.3/solidity-by-example.html
pragma solidity >=0.4.22 <0.6.0;

/// @title Voting with delegation.
contract Ballot {
    // This declares a new complex type which will
    // be used for variables later.
    // It will represent a single voter.
    struct Voter {
        uint weight; // weight is accumulated by delegation