Verites / verigraph

60%

master: 61%

LAST BUILD ON BRANCH essence-experiments

branch: essence-experiments

CHANGE BRANCH

x

Reset

• essence-experiments
• 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
• 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 # 575

Build Type

push

travis-ci

Committed by ggazzi

Commit Message

Implement test with irreducibles

Run Details

2840 of 4707 relevant lines covered (60.34%)

0.6 hits per line