Skip to main content

Browse the archive

Revision 3c6df93b96761cf9b08f96e4fdf03f085a9831fe authored by Disconnect3d on 17 November 2018, 18:27:42 UTC, committed by GitHub on 17 November 2018, 18:27:42 UTC 
Remove kwargs from ManticoreEVM (#1271)
 
* Remove kwargs from ManticoreEVM

Removing `kwargs` from `ManticoreEVM` as it is not needed here.

It is because it is passed to `Manticore` which uses `kwargs` only in
the case when the `path_or_state` is a path. The `ManticoreEVM` passes
this argument as already created `State` so the `kwargs` are never used
for `ManticoreEVM`.

This will also prevent users from using old API that has been removed
e.g. `ManticoreEVM(verbosity=5)`.

* Fix init
1 parent 48304e7
Raw File
.travis.yml 
dist: trusty
sudo: required
os:
  - linux
language: python
python:
  - 3.6.5

stages:
  - prepare
  - test
  - submit

env:
  global:
    - CC_TEST_REPORTER_ID=db72f1ed59628c16eb0c00cbcd629c4c71f68aa1892ef42d18c7c2b8326f460a
    - JOB_COUNT=2 # Two jobs generate test coverage
    - PYTHONWARNINGS="default::ResourceWarning" # Enable ResourceWarnings
  matrix:
    - TEST_TYPE=examples
    - TEST_TYPE=tests
    - TEST_TYPE=eth

branches:
  only:
  - master
  - /^(?!wip-).+$/

cache:
  pip: true
  directories:
  - $HOME/virtualenv/python3.6.5/lib/python3.6/site-packages
  - $HOME/virtualenv/python3.6.5/bin/

jobs:
  include:
    - stage: prepare
      env: TEST_TYPE=env
      script:
        - ./cc-test-reporter before-build
      after_success:
    - stage: submit
      env: TEST_TYPE=env
      script:
        - true
      after_script:
        - aws s3 sync "s3://manticore-testdata/coverage/$TRAVIS_COMMIT" coverage/ 
        - ./cc-test-reporter sum-coverage --output - --parts $JOB_COUNT coverage/codeclimate.*.json | ./cc-test-reporter upload-coverage --input -

install:
  - scripts/travis_install.sh $TEST_TYPE

script:
  - scripts/travis_test.sh $TEST_TYPE

after_success:
  - ./cc-test-reporter format-coverage -t coverage.py -o "coverage/codeclimate.$TEST_TYPE.json"
  - aws s3 sync coverage/ "s3://manticore-testdata/coverage/$TRAVIS_COMMIT"
back to top