Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use mypy to check the tests dir; fix some typing errors #1610

Merged
merged 12 commits into from
Feb 6, 2020
Merged

Use mypy to check the tests dir; fix some typing errors #1610

merged 12 commits into from
Feb 6, 2020

Commits on Feb 4, 2020

  1. Rename a duplicately-named test

    Brad Larsen committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    d5ea320 View commit details
    Browse the repository at this point in the history

  2. Delete a copy-and-pasted doubled test case

    Brad Larsen committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    5f7f75b View commit details
    Browse the repository at this point in the history

  3. Add type annotation that mypy was asking for

    Brad Larsen committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    7c41a8f View commit details
    Browse the repository at this point in the history

  4. Add some type annotations to manticore.utils.log

    Brad Larsen committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    67072da View commit details
    Browse the repository at this point in the history

  5. Sort manticore.ethereum imports

    Brad Larsen committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    724007e View commit details
    Browse the repository at this point in the history

  6. Rewrite a couple shadowed imports to appease mypy

    Brad Larsen committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    12cdb66 View commit details
    Browse the repository at this point in the history

  7. Fix a misspelled format string

    Brad Larsen committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    0cbb230 View commit details
    Browse the repository at this point in the history

  8. Delete copy-and-pasted unused variables

    Brad Larsen committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    57511de View commit details
    Browse the repository at this point in the history

  9. Add a type annotation to make mypy happy

    Brad Larsen committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    50b9f63 View commit details
    Browse the repository at this point in the history

  10. mypy: run on the tests directory by default

    Brad Larsen committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    55bf713 View commit details
    Browse the repository at this point in the history

  11. Rewrite a bungled test assertion

    Brad Larsen committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    dd9678e View commit details
    Browse the repository at this point in the history

  12. Fix warnings in test_memory.py about deprecated "\(" escapes

    Brad Larsen committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    9038c25 View commit details
    Browse the repository at this point in the history