386
88%
master: 88%

Ran 15 Dec 2020 04:06PM UTC

Jobs 7

Files 187

Run time 128min

Badge

Build # 386

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #96 from michakraus/master

Load GenericLinearAlgebra for BigFloat computations of tableaus.

Run Details

7565 of 8617 relevant lines covered (87.79%)

175421.61 hits per line

ID	Job ID	Ran	Files	Coverage
1	386.1	15 Dec 2020 04:09PM UTC	187	86.8	Travis Job 386.1
2	386.2	15 Dec 2020 04:27PM UTC	187	84.32	Travis Job 386.2
3	386.3	15 Dec 2020 04:06PM UTC	187	86.8	Travis Job 386.3
5	386.5	15 Dec 2020 05:12PM UTC	187	86.8	Travis Job 386.5
6	386.6	15 Dec 2020 05:19PM UTC	187	84.32	Travis Job 386.6
8	386.8	15 Dec 2020 05:00PM UTC	187	86.11	Travis Job 386.8
9	386.9	15 Dec 2020 06:14PM UTC	187	86.11	Travis Job 386.9