squaresLab
/
Houston
44%
master: 45%
master: 45%
|
Repo Added
|
Files
45
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
state-equiv
branch: state-equiv
CHANGE BRANCH
x
-
state-equiv
-
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
-
symex
-
system-sandbox-dependency
-
tidy-action-schemas
-
tidy-specs
-
untangle-branch
-
z3-multithread
-
z3-travis
CHANGE BRANCH
x
-
state-equiv
- 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
- symex
- system-sandbox-dependency
- tidy-action-schemas
- tidy-specs
- untangle-branch
- z3-multithread
- z3-travis
push
travis-ci
813 of 1836 relevant lines covered (44.28%)
0.89 hits per line
Relevant lines Covered
1836
RELEVANT LINES
813
COVERED LINES
0.89
HITS PER LINE
Source Files on state-equiv
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 394 | state-equiv | added test_equiv | push |  ChrisTimperley |
travis-ci | pending completion | |
| 395 | state-equiv | added test_equiv | Pull #81 |  web-flow |
travis-ci | pending completion | |
| 392 | state-equiv | implemented State.equiv | Pull #81 | web-flow |
travis-ci | pending completion | |
| 391 | state-equiv | implemented State.equiv | push | ChrisTimperley |
travis-ci | pending completion | |
| 390 | state-equiv | added equiv and exact methods to State | Pull #81 | web-flow |
travis-ci | pending completion | |
| 389 | state-equiv | added equiv and exact methods to State | push | ChrisTimperley |
travis-ci | pending completion | |
| 388 | state-equiv | Added unused but functional Configuration data structure (#79) * added Option and Configuration * added test_option_construction * added option construction to Configuration metaclass * added test_constructor for Configuration * ensur... | push | web-flow |
travis-ci | pending completion |