squaresLab / Houston

48%

master: 45%

LAST BUILD ON BRANCH messages

branch: messages

CHANGE BRANCH

x

Reset

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

Build # 840

Build Type

Pull #136

travis-ci

Committed by web-flow

Commit Message

Updating state based on messages and using missions to run commands (#134)

* Adding to_messafe to arm command

* Added to_message to all commands

* first try of using missions instead of GCS commands

* Added the vehicle

* Using the concept of hooks

* bug fix and checking pre/post conditions for each command

* Fixing style violations

* Adding message hooks and evolve

* style fix

* Adding comments, removing hooks

* Removing a temp change

* Making requested changes

* Minor style change

* Fix the test

Pull Request Pull Request #136: Updating state based on messages and using missions to run commands (Fixes #121)

Run Details

232 of 232 new or added lines in 13 files covered. (100.0%)

928 of 1924 relevant lines covered (48.23%)

0.96 hits per line