463
66%
master: 61%

Ran 18 Jul 2017 06:51PM UTC

Jobs 1

Files 66

Run time 3s

Badge

Embed ▾

pending completion

Build # 463

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	463.1	18 Jul 2017 06:51PM UTC	0	65.54	Travis Job 463.1

Source Files on build 463

Detailed source file information is not available for this build.

Verites / verigraph / 463
66%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 463

Verites / verigraph / 463 66% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 463

Verites / verigraph / 463
66%
master: 61%

README BADGES
x