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

logic-ng / LogicNG
97%
master: 97%

Build:
Build:
LAST BUILD BRANCH: dimacsfilewriter_singleclausebug
DEFAULT BRANCH: master
Repo Added 20 Dec 2015 12:31PM UTC
Files 272
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 extendedff
branch: extendedff
CHANGE BRANCH
x
Reset
  • extendedff
  • 07645c52dc4e2ebd0c5a831e2b50712af647f708
  • 0ea5bfaf8095944d052c8c35f7838757dbb781a1
  • 1.3-java6
  • 10254090a8a88cd739c2e0c36f23e3ed0e1b5ce1
  • 13d67eda691229904ad04bf92438eba733d1e55e
  • 1c7f6c144fcebb4ce4b313f54e57fb91878b4bbe
  • 1dc8aed65fce44dd4fe70face5c553feed4790f9
  • 23a9402dca18287be89f0535bdd33d6b1a057445
  • 266eacb47d9e047b559adc20e67e376163df67dc
  • 274b61eef18ac542295a43e81ecf32f4ff571103
  • 277c26b65ae8b17e12184d965d35657a57ac84f0
  • 2fc8e35f5501fcc8c02f3d607cf278adc9c5a3cb
  • 347e3e4735ee7cf48fd873fd618577e0891ad913
  • 3814d831a74c0fe2588d86effcd6a1936d5629a1
  • 3870b4fe8c7902d0a9f7daf4eb12e62a7f1bab0b
  • 38bcf247b73c5caae0b9a3bc16c325fa5ce409d1
  • 3ef1b3cb715c2a5ecccbdba503cc0c51d9c73e2d
  • 40dab847e396c821d82a59197678d416efc7e601
  • 40fd64318f314ce18919e9a933cf22552405f299
  • 4212e5c7d144b94601c7e42a320fa3287732b7c2
  • 430405468c0935efea6f930451f980231bcedf7d
  • 4827cb8276a09169edced8195b2abd9095fdc8eb
  • 48dcdf1d5c5152d310e152b962ae96c0212f5052
  • 4c70446959b8d00e0a093203824af67dd5478480
  • 4d21492f577b97c35e3f087604a231b6bd8ed85a
  • 503e8a857f6ac9b89e5b27bdb5e8dd2b8fd2dcdd
  • 5a7585f9238ae9952eeffe560e3700b46825a568
  • 6348725bdcca638ac0070fb407163834806d37a6
  • 68ee71182168e160e306048d3fe53a9cb0271515
  • 6e775da55004c0cf17c0c7c266e6708fc3d9612a
  • 7146c65eb883de3a48abacd6143ef268934d4c13
  • 71696937a2e02dda04b7a4cac23425484fd1e439
  • 7279d6d67138e05a861f70a491788c1e8cc9aec4
  • 72e805a61a3e6729b48614672cc8caafd5a633ca
  • 72fcf2c29527b5c3c44d5fc3304b7cac3c8a37b6
  • 7384fe97e38b90b5d8db4696f144fe4edd28d1ea
  • 74cbbbfa7dc25ee05668d630a785eec6a0333100
  • 7667e428838d1f1af4f663d07381d2950d476953
  • 77f9014a628756d6dda096506703a6c7188dc6e8
  • 795bb06d53814a14cf6b7546888269caae28d481
  • 7c18c8dabd65678ff8e08ffaae162522659f62b2
  • 7eac5fe90c2da17e51b713b587b60f3a4f1ae766
  • 810178e22aefaeebb7edecdb3db52a128fa09b62
  • 837d8031644b63244806ee4a7efd617fc6ef8672
  • 8b62ddd2a47c655afe753f3a5bea16cd25b73548
  • 8c6ceb043981bd9acd6dce29e5980d2fd32bf7d0
  • 912d4a5f4b2c0001384d0bfdd2fb67147e33152c
  • 95e648576767b5f425f7916b6f4ebc19099c51ed
  • 97404b66eade4ebea1f3e32c5176909caeec5f9c
  • 9d76e6c44e697a8ad88596c3b7cf23437911ea8f
  • EQE_PBC
  • a282c9b707f6abb071765d87b4912a9e65663431
  • a92cdecdfaa9b8c2f92750b5285e11d138e70cca
  • aaa970c46b230e8133a2d309672cffd6fa4fbfbb
  • ad28c0896fcd2380b5eced33d10ce6392c4da815
  • af5f5b347ec7d075bfe05fac487dd0f013a3de50
  • assertj
  • b20a727beb9ca221351fab95796a26ed1e6c189d
  • b212d1842151ff6cd77339694d39b6c5f8557f50
  • b48c46e632be815c7c0b7ad66acaf350b4f2aad2
  • b7a0446567e42e50399d93a4e558abe177530614
  • bc1b9b606cb57412af8e44c687c236cd2c47f0fd
  • bc438d36d1f010e9189ea57a4c1eda8d0682d184
  • bdb73dec273d21259ce002bf31f588e76e60323d
  • bdd
  • be9a0bb2abc32173a19431d974cebff1258166a1
  • c7afcd236d4f68a00246d9bbfd67f7c669d64274
  • ca506d190d9f030be7e904f34c97a2c43ba8173b
  • d3114561bf3e787d1a7de4a0036cc47059ddfee3
  • d89d8432d124552aac1027b813e4ff5231feeae1
  • de9fc5f277be4007770e6724f5ddb9dc0c17828c
  • development
  • dimacsfilewriter_singleclausebug
  • drup
  • e3071f6113ca0c1494e0b7e5066defceeb911a73
  • e43723b959835126d19f3bfaf4c4b5760615e50f
  • eb95a822c7c7c3e60d3fcb50cbc11b50f39fc2f3
  • ee67918c67226a02895c498135dc685e8437d6de
  • eee6097dd28c42a2e1295a10378b50118c035e53
  • exp/improved-pg
  • exp/improved-selection-order
  • f1677084cb9238f1408f3f84d4d0a70285488f50
  • f25bc8b7ebb56238d58eb5411254bf20942da3e1
  • f35464003655868d7bce365da233ef382a27f49c
  • fc2ad97245eed0a161770b8f1731c80c54e9ff6f
  • fc4c704cd99ff31caf9fff6583bf8c5d16b4c623
  • fd5e8edbf469f7852f35b0eb797aa5615ad91b00
  • feature/backbone-simplifier
  • feature/backbones
  • feature/cnf-on-solver
  • feature/constraint-simplifier
  • feature/dnnf
  • feature/formula-formatter-refactoring
  • feature/formula-helper
  • feature/formula-interface
  • feature/formula-merging
  • feature/j8-refactoring
  • feature/prime-implicant
  • feature/removal-transformations
  • feature/selection-order
  • feature/subsumption
  • feature/upZeroLits
  • ffstate
  • graph
  • io-improvement
  • master
  • minimizationUsingDontCareConditions
  • more-io
  • pbcSimplification
  • qmc
  • refactoring
  • release/2.0
  • release/v2.0.1
  • release1.2
  • release_1.3.1
  • repairCoveralls
  • solverKnownVariables
  • unmodifiableSortedSet
  • v1.0
  • v1.0-RC2
  • v1.0-RC3
  • v1.0-RC4
  • v2.0

pending completion
#190

push

wercker

MAMSiegmund
Added tests for ExtendedFormulaFactory.

11248 of 11637 relevant lines covered (96.66%)

0.97 hits per line

Relevant lines Covered
Build:
Build:
11637 RELEVANT LINES 11248 COVERED LINES
0.97 HITS PER LINE
Source Files on extendedff
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#190 extendedff Added tests for ExtendedFormulaFactory. push 30 Jun 2017 08:44AM UTC MAMSiegmund wercker pending completion  
#185 extendedff Updated Tests for ExtendedFormulaFactory. push 09 Jun 2017 12:32PM UTC MAMSiegmund wercker pending completion  
#184 extendedff First ExtendedFormulaFactory version with only the former ClearCacheFormulaFactory. push 08 May 2017 08:38AM UTC MAMSiegmund wercker pending completion  
See All Builds (469)
  • 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