squaresLab
/
Houston
48%
master: 45%
master: 45%
|
Repo Added
|
Files
45
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
z3-travis
branch: z3-travis
CHANGE BRANCH
x
-
z3-travis
-
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
-
untangle-branch
-
z3-multithread
CHANGE BRANCH
x
-
z3-travis
- 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
- untangle-branch
- z3-multithread
push
travis-ci
806 of 1675 relevant lines covered (48.12%)
0.96 hits per line
Relevant lines Covered
1675
RELEVANT LINES
806
COVERED LINES
0.96
HITS PER LINE
Source Files on z3-travis
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 639 | z3-travis | Let's try version 14.04 | push |  afsafzal |
travis-ci | pending completion | |
| 640 | z3-travis | Let's try version 14.04 | Pull #98 |  web-flow |
travis-ci | pending completion | |
| 562 | z3-travis | Used metaclasses to bake command schemas into Command (#95) * implemented new Command class * updated System * updated sandbox * updated ardu.base * updated ardu specs * updated copter commands * bug fix: added missing name *... | push | web-flow |
travis-ci | pending completion |