julianmendez / uel / 280 / 1
9%
master: 11%

LAST BUILD BRANCH: develop
DEFAULT BRANCH: master
Ran
Files 88
Run time 4s
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
coverage: 8.669% (+0.004%) from 8.665%
280.1

push

travis-ci

julianmendez 
Merge branch 'master' of https://github.com/julianmendez/uel into async-asp

Conflicts:
	uel-asp/src/main/java/de/tudresden/inf/lat/uel/asp/solver/AspUnificationAlgorithm.java
	uel-asp/src/main/java/de/tudresden/inf/lat/uel/asp/solver/ClingoOutput.java
	uel-asp/src/main/java/de/tudresden/inf/lat/uel/asp/solver/ClingoSolver.java
	uel-core/src/main/java/de/tudresden/inf/lat/uel/core/main/AlternativeUelStarter.java
	uel-core/src/main/java/de/tudresden/inf/lat/uel/core/processor/UelModel.java
	uel-core/src/main/java/de/tudresden/inf/lat/uel/core/processor/UelOntology.java
	uel-core/src/main/java/de/tudresden/inf/lat/uel/core/processor/UelOntologyGoal.java
	uel-core/src/test/java/de/tudresden/inf/lat/uel/core/main/ProcessorTest.java
	uel-rule/src/main/java/de/tudresden/inf/lat/uel/rule/RuleBasedUnificationAlgorithm.java
	uel-sat/src/main/java/de/tudresden/inf/lat/uel/sat/literals/Choice.java
	uel-sat/src/main/java/de/tudresden/inf/lat/uel/sat/solver/CNFMaxSatSolver.java
	uel-sat/src/main/java/de/tudresden/inf/lat/uel/sat/solver/MiniSatSolver.java
	uel-sat/src/main/java/de/tudresden/inf/lat/uel/sat/solver/Sat4jMaxSatSolver.java
	uel-sat/src/main/java/de/tudresden/inf/lat/uel/sat/solver/Sat4jSolver.java
	uel-sat/src/main/java/de/tudresden/inf/lat/uel/sat/solver/SatUnificationAlgorithm.java
	uel-sat/src/main/java/de/tudresden/inf/lat/uel/sat/type/SatInput.java
	uel-type/src/main/java/de/tudresden/inf/lat/uel/type/impl/AtomManagerImpl.java
	uel-ui/src/main/java/de/tudresden/inf/lat/uel/plugin/ui/RefineController.java
	uel-ui/src/main/java/de/tudresden/inf/lat/uel/plugin/ui/UelController.java

344 of 3968 relevant lines covered (8.67%)

57.73 hits per line

Source Files on job 280.1