Verites / verigraph

61%

master: 61%

LAST BUILD ON BRANCH constraints

branch: constraints

CHANGE BRANCH

x

Reset

• constraints
• 1.1.0
• 1.1.1
• CPparallelization
• CSrefactoring
• RemovedDeprecatedFindMorphism
• TGMAdhesiveHLRrefactoring
• add-code-of-conduct-1
• ci
• code-quality-fix
• complete
• conditions
• conflict-essence
• 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 # 521

Build Type

push

travis-ci

Committed by ggazzi

Commit Message

Fix GGX atomic constraints with multiple conclusions

Run Details

2320 of 3808 relevant lines covered (60.92%)

0.61 hits per line