squaresLab
/
Houston
45%
master: 45%
master: 45%
|
Repo Added
|
Files
45
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
untangle-branch
branch: untangle-branch
CHANGE BRANCH
x
-
untangle-branch
-
adapt-to-sitl
-
add-hash-functions
-
add-mypy
-
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
-
z3-multithread
-
z3-travis
CHANGE BRANCH
x
-
untangle-branch
- adapt-to-sitl
- add-hash-functions
- add-mypy
- 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
- z3-multithread
- z3-travis
push
travis-ci
818 of 1825 relevant lines covered (44.82%)
0.9 hits per line
Relevant lines Covered
1825
RELEVANT LINES
818
COVERED LINES
0.9
HITS PER LINE
Source Files on untangle-branch
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 426 | untangle-branch | removed printflush import | push |  ChrisTimperley |
travis-ci | pending completion | |
| 425 | untangle-branch | Branch no longer depends on Schema | push | ChrisTimperley |
travis-ci | pending completion | |
| 422 | untangle-branch | Integrated Configuration (fixes #78) (#85) * updated Mission to use attrs * moved Mission.get_expected_duration to System.duration * updated to_json and from_json to to_dict and from_dict * added config to Mission * updated MissionOut... | push |  web-flow |
travis-ci | pending completion |