Repo Added
|
Files
29
|
Badge
Embed ▾
README BADGES
|
travis-ci
13557 of 15447 relevant lines covered (87.76%)
297.4 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
179 | windows | downgrade lazysets again | Pull #78 | web-flow | travis-ci | pending completion | |
178 | windows | downgrade lazysets again | push | tomerarnon | travis-ci | pending completion | |
175 | windows | Merge branch 'windows' of https://github.com/sisl/NeuralVerification.jl into windows | push | tomerarnon | travis-ci | pending completion | |
174 | windows | downgrade lazysets again | push | tomerarnon | travis-ci | pending completion | |
173 | windows | picosat master | push | tomerarnon | travis-ci | pending completion | |
171 | windows | up picosat | push | tomerarnon | travis-ci | pending completion | |
170 | windows | downgrade lazyset to make tests pass (requires investigation in the lazysets branch) | push | tomerarnon | travis-ci | pending completion | |
167 | windows | trial windows | push | tomerarnon | travis-ci | pending completion | |
143 | windows | try diabling picosat on windows | push | tomerarnon | travis-ci | pending completion |