• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

sisl / NeuralVerification.jl / 340
87%

Build:
DEFAULT BRANCH: master
Ran 25 Jul 2020 02:58PM UTC
Jobs 15
Files 58
Run time 55min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

pending completion
340

push

travis-ci

web-flow
Merge pull request #125 from SebastianGuadalupe/master

Add Ai2z solver. 
Closes #87! Thanks @SebastianGuadalupe and @mforets

1868 of 2128 relevant lines covered (87.78%)

315.94 hits per line

Jobs
ID Job ID Ran Files Coverage
1 340.1 25 Jul 2020 02:58PM UTC 0
87.31
Travis Job 340.1
2 340.2 25 Jul 2020 03:04PM UTC 0
87.31
Travis Job 340.2
3 340.3 25 Jul 2020 03:06PM UTC 0
87.31
Travis Job 340.3
4 340.4 25 Jul 2020 03:05PM UTC 0
86.83
Travis Job 340.4
5 340.5 25 Jul 2020 03:02PM UTC 0
87.31
Travis Job 340.5
6 340.6 25 Jul 2020 03:21PM UTC 0
87.31
Travis Job 340.6
7 340.7 25 Jul 2020 03:26PM UTC 0
87.31
Travis Job 340.7
8 340.8 25 Jul 2020 03:40PM UTC 0
86.83
Travis Job 340.8
9 340.9 25 Jul 2020 03:16PM UTC 0
87.31
Travis Job 340.9
10 340.10 25 Jul 2020 03:26PM UTC 0
87.31
Travis Job 340.10
11 340.11 25 Jul 2020 03:29PM UTC 0
87.31
Travis Job 340.11
12 340.12 25 Jul 2020 03:40PM UTC 0
86.83
Travis Job 340.12
14 340.14 25 Jul 2020 03:35PM UTC 0
87.31
Travis Job 340.14
17 340.17 25 Jul 2020 03:54PM UTC 0
87.31
Travis Job 340.17
20 340.20 25 Jul 2020 03:48PM UTC 0
87.31
Travis Job 340.20
Source Files on build 340
Detailed source file information is not available for this build.
  • Back to Repo
  • Travis Build #340
  • c2fe59dc on github
  • Prev Build on master (#335)
  • Next Build on master (#345)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc