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

Verites / verigraph
62%
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 pullbackTests
branch: pullbackTests
CHANGE BRANCH
x
Reset
  • pullbackTests
  • 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
  • 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
  • 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
230

push

travis-ci

andrei529
Added independence checking algorithm Cond1Below

2083 of 3357 relevant lines covered (62.05%)

0.62 hits per line

Relevant lines Covered
Build:
Build:
3357 RELEVANT LINES 2083 COVERED LINES
0.62 HITS PER LINE
Source Files on pullbackTests
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
230 pullbackTests Added independence checking algorithm Cond1Below push 19 May 2017 04:51PM UTC andrei529 travis-ci pending completion  
227 pullbackTests transformed parallelIndependence to CPA, for tests only push 19 May 2017 03:59PM UTC andrei529 travis-ci pending completion  
219 pullbackTests Removed deprecated calls from FindMorphism push 17 May 2017 02:09PM UTC andrei529 travis-ci pending completion  
216 pullbackTests Removed deprecated calls from FindMorphism push 16 May 2017 09:02PM UTC andrei529 travis-ci pending completion  
215 pullbackTests Removed deprecated calls from FindMorphism push 16 May 2017 08:57PM UTC andrei529 travis-ci pending completion  
213 pullbackTests Removed deprecated calls from FindMorphism push 16 May 2017 08:39PM UTC andrei529 travis-ci pending completion  
212 pullbackTests Removed deprecated calls from FindMorphism push 16 May 2017 08:14PM UTC andrei529 travis-ci pending completion  
211 pullbackTests transformed parallelIndependence to CPA, for tests only push 16 May 2017 07:24PM UTC andrei529 travis-ci pending completion  
197 pullbackTests transformed parallelIndependence to CPA, for tests only push 16 May 2017 01:54PM UTC andrei529 travis-ci pending completion  
196 pullbackTests transformed parallelIndependence to CPA, for tests only push 16 May 2017 01:33PM UTC andrei529 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