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

knowsys / rulewerk
87%
master: 87%

Build:
Build:
LAST BUILD BRANCH: 98ecfe1c5d7bc88698843c6fbdadd922a1af579c
DEFAULT BRANCH: master
Repo Added 02 Mar 2020 06:36PM UTC
Files 147
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 reliances
branch: reliances
CHANGE BRANCH
x
Reset
  • reliances
  • #121-owlapi_Support_OWLDisjointClassesAxioms
  • #122-owlapi_OWLDisjointObjectPropertiesAxiom_support
  • 0621af6119268ba7567c77a729acabefd846d71a
  • 13c16499ecee00f3527b772445b3976e62e0ad65
  • 19c67665145a683be1138f98b49048427735669b
  • 2f9395327df772cff6debdf211edc0270320832e
  • 53ba64631a2548a42961bceb663ae112dec746a9
  • 588125648017aeca882ed1f2dc5f9ad76c354cba
  • 5d181d71b922cf3d6c7e1486a8009a49181ce4fe
  • 6ba1df21d0f2375a238e893a006361f378e3cbe5
  • 6d33ae6676e34ecf30aa55732b38f771ada9a653
  • 7cd6d7754e29d66c22e3bbbc263722d1239bb692
  • 836142c0979bb8e9d33450adf405dd0ca22a0b1d
  • 8622a0d6b04ea1255e88393a8cac6a8a0d7d56c6
  • 98ecfe1c5d7bc88698843c6fbdadd922a1af579c
  • 9f656bd67dd04079cfc3300b4716e8888ce712f7
  • a4fbfa26b4e4a91878306e2844a15ddf5a6a6460
  • a5ef2018f26009b6263b9e7b4be00b760b3b46df
  • a979baf8b792e882898ed671dbe3581830f32579
  • actions
  • acyclicity-add-RMFC
  • acyclicity-tests
  • bc68bb565cde061478a3ede72c2d4e109843397f
  • bug-206
  • d2306c4acbb766bd849271b3f4d2b1a72687db41
  • d24f3c4b74b9051fc231cd473d70e4cbe33f47f1
  • d5faecd12201bc5255053ace43577153f2810e3e
  • dc57d6ba61d64d80df9299ba2929c9467d03cd69
  • dependabot/maven/junit-junit-4.13.1
  • e5fb4ef8f9d3d48ef405cd3b4b8632a369d1c96c
  • f167976853ab97c5446a2490fa3e37098555df5c
  • f1f991c633edb1a617003b0a01a1a22adfbcb221
  • f682659780d2eb54f5d30995ca4e4a69cfde56c0
  • fast-query-result-iterator
  • fix-javadoc-search
  • issues
  • knowlegde-base-serialisation
  • master
  • modular-reasoners
  • named-null-to-vlog
  • owlapi-ignore-data-features
  • pieces
  • portable-filedatasource-serialisation
  • rework-ci
  • shell
  • storeRulesInArrays
  • v0.6.0
  • v0.7.0

pending completion
1831

Pull #196

travis-ci

web-flow
Merge e077272d2 into 4289c330b
Pull Request #196: Reliances

625 of 625 new or added lines in 20 files covered. (100.0%)

3828 of 4386 relevant lines covered (87.28%)

0.87 hits per line

Relevant lines Covered
Build:
Build:
4386 RELEVANT LINES 3828 COVERED LINES
0.87 HITS PER LINE
Source Files on reliances
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1831 reliances Merge e077272d2 into 4289c330b Pull #196 14 Dec 2020 09:51PM UTC web-flow travis-ci pending completion  
1830 reliances add optimization condition push 14 Dec 2020 09:13PM UTC larryjgonzalez travis-ci pending completion  
1826 reliances code simplification push 14 Dec 2020 08:52PM UTC larryjgonzalez travis-ci pending completion  
1825 reliances Merge 612733b63 into 4289c330b Pull #196 14 Dec 2020 07:28PM UTC web-flow travis-ci pending completion  
1824 reliances add two more tests push 14 Dec 2020 07:28PM UTC larryjgonzalez travis-ci pending completion  
1823 reliances Merge a85b62e5a into 4289c330b Pull #196 08 Dec 2020 08:35PM UTC web-flow travis-ci pending completion  
1822 reliances add documentation; add tests; code simplification push 08 Dec 2020 07:47PM UTC larryjgonzalez travis-ci pending completion  
1820 reliances add doc push 08 Dec 2020 07:16PM UTC larryjgonzalez travis-ci pending completion  
1818 reliances add missing cases push 08 Dec 2020 06:07PM UTC larryjgonzalez travis-ci pending completion  
1817 reliances Merge a14701dc8 into 4289c330b Pull #196 08 Dec 2020 04:16PM UTC web-flow travis-ci pending completion  
See All Builds (491)
  • 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