• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

Verites / verigraph
61%
master: 61%

Build:
Build:
LAST BUILD BRANCH: sndOrderFix
DEFAULT BRANCH: master
Repo Added 24 Apr 2017 02:04PM UTC
Files 77
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

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

pending completion
521

push

travis-ci

ggazzi
Fix GGX atomic constraints with multiple conclusions

2320 of 3808 relevant lines covered (60.92%)

0.61 hits per line

Relevant lines Covered
Build:
Build:
3808 RELEVANT LINES 2320 COVERED LINES
0.61 HITS PER LINE
Source Files on constraints
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
521 constraints Fix GGX atomic constraints with multiple conclusions push 17 Nov 2017 07:35PM UTC ggazzi travis-ci pending completion  
520 constraints Fix GGX atomic constraints with multiple conclusions push 17 Nov 2017 07:19PM UTC ggazzi travis-ci pending completion  
See All Builds (446)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc