Verites / verigraph

59%

master: 61%

LAST BUILD ON BRANCH fix_removeNode

branch: fix_removeNode

CHANGE BRANCH

x

Reset

• fix_removeNode
• 1.1.0
• 1.1.1
• CPparallelization
• CSrefactoring
• RemovedDeprecatedFindMorphism
• TGMAdhesiveHLRrefactoring
• add-code-of-conduct-1
• ci
• code-quality-fix
• complete
• conditions
• conflict-essence
• constraints
• contributing
• coveralls
• critical-pairs-benchmarks
• culpa_do_leo
• elevatorFix
• essence-experiments
• finitaryCategory
• fix-cospan
• fix-spancommuter
• 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 # 132

Build Type

push

travis-ci

Committed by lm-rodrigues

Commit Message

Tests to `removeNodeFromDomain` and `removeNodeFromCodomain`

Run Details

1877 of 3188 relevant lines covered (58.88%)

0.59 hits per line