464
66%
master: 61%

Ran 18 Jul 2017 06:52PM UTC

Jobs 1

Files 66

Run time 3s

Badge

Embed ▾

pending completion

Build # 464

Build Type

push

travis-ci

Committed by

andreicosta

Commit Message

Added final pullback complement for non left-linear rules and mono matches

fixed edges deletion

fixed edges deletion

fpbc doc

Fixed edges preservation

minor refactoring

Added tests for final pullback complement

Added hasFinalPullbackComplement to AdhesiveHLR

Moved FPBC to a new singleton type class

Run Details

2372 of 3619 relevant lines covered (65.54%)

0.66 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	464.1	18 Jul 2017 06:52PM UTC	0	65.54	Travis Job 464.1

Source Files on build 464

Detailed source file information is not available for this build.

Verites / verigraph / 464
66%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 464

Verites / verigraph / 464 66% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 464

Verites / verigraph / 464
66%
master: 61%

README BADGES
x