1
66%
master: 61%

Ran 18 Jul 2017 06:52PM UTC

Files 66

Run time 2s

Badge

Embed ▾

Committed 18 Jul 2017 06:43PM UTC coverage: 65.543%. Remained the same

Job # 464.1

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

Verites / verigraph / 464 / 1
66%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 464.1

Verites / verigraph / 464 / 1 66% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 464.1

Verites / verigraph / 464 / 1
66%
master: 61%

README BADGES
x