squaresLab / Houston

43%

master: 45%

LAST BUILD ON BRANCH add-mypy

branch: add-mypy

CHANGE BRANCH

x

Reset

• add-mypy
• adapt-to-sitl
• add-hash-functions
• add-sitl-prefix
• add-to-dict-to-command-and-state
• add-to-dict-to-state
• add-type-to-state-var
• add-uid
• configuration
• coveralls
• detangle-sandbox
• eq-command
• final-experiments
• fix-abs-imports
• fix-hardcoded-paths
• fix-home-location
• fix-super-calls
• frozen-list-to-tuple
• integrate-config
• lift-schemas
• master
• messages
• mission-to-test
• move-environment
• new-state-class
• partial-max
• remove-action-generator
• remove-branch-path
• remove-bugzoo-from-system
• remove-generate-method
• remove-z3-dep
• rename-action
• rename-branch
• rename-branch-to-specification
• serialise-mission
• sitl
• sitl-prefix
• spec-instances
• spec-objs
• state-equiv
• symex
• system-sandbox-dependency
• tidy-action-schemas
• tidy-specs
• untangle-branch
• z3-multithread
• z3-travis

Build # 345

Build Type

push

travis-ci

Committed by web-flow

Commit Message

Moved Environment into its own module (fixes #58) (#69)

* added environment module

* removed Environment from state module

* bug fix: bad import

* fixed bad import

* fixed bad import

* fixed imports in ardu.common.arm

* fixed imports in ardu.common.goto

* bug fix: bad environment import

* tidied imports in ardu.copter.setmode

* bug fix: bad import

* tidied and fixed more imports

Run Details

711 of 1670 relevant lines covered (42.57%)

0.85 hits per line