Verites / verigraph

62%

master: 61%

LAST BUILD ON BRANCH complete

branch: complete

CHANGE BRANCH

x

Reset

• complete
• 1.1.0
• 1.1.1
• CPparallelization
• CSrefactoring
• RemovedDeprecatedFindMorphism
• TGMAdhesiveHLRrefactoring
• add-code-of-conduct-1
• ci
• code-quality-fix
• conditions
• conflict-essence
• constraints
• contributing
• coveralls
• critical-pairs-benchmarks
• culpa_do_leo
• elevatorFix
• essence-experiments
• finitaryCategory
• fix-cospan
• fix-spancommuter
• fix_removeNode
• grlang
• gtxl-reader
• hlint
• iso-class
• labeledGraph
• layersRefactoring
• markdown-lint
• master
• modulesRefactoring
• new-morphisms
• newIndependenceAlgorithm
• new_ghc
• parallel
• parserRefactoring
• partial-map-classifier
• partitionsRefactoring
• process
• process_bkp
• pullbackTests
• reduceDuplication
• refactoring
• refactoringDoc
• refactoringEssentialCP
• refactoringTests
• removingWarning
• rest
• restructure
• sesquiPushout
• sndOrdScheduling
• sndOrderFix
• sndorderNAC
• symbgraph
• tests
• travis
• travis-setup
• travis_performance
• triggered-dependecies
• update-grammars
• update-lts

Build # 301

Build Type

push

travis-ci

Committed by jsbezerra

Commit Message

Equalizer for typed graph morphism

Run Details

2073 of 3321 relevant lines covered (62.42%)

0.62 hits per line