| Line | |
|---|
| 1 | (in-package :cl-user) |
|---|
| 2 | |
|---|
| 3 | (prove:plan 3) |
|---|
| 4 | |
|---|
| 5 | (let ((deps (abcl-asdf:resolve-multiple-maven-dependencies |
|---|
| 6 | '("net.sourceforge.owlapi:org.semanticweb.hermit:1.3.8.413" |
|---|
| 7 | "net.sourceforge.owlapi:owlapi-distribution:4.2.6" |
|---|
| 8 | "net.sourceforge.owlapi/pellet-cli-ignazio1977/2.4.0-ignazio1977" |
|---|
| 9 | "org.semanticweb.elk/elk-reasoner/0.4.3" |
|---|
| 10 | "net.sourceforge.owlapi/owlexplanation/2.0.0") |
|---|
| 11 | '("net.sourceforge.owlapi:owlapi-distribution:4.2.6") |
|---|
| 12 | '("net.sourceforge.owlapi:owlapi-osgidistribution" |
|---|
| 13 | "edu.stanford.protege:org.protege.editor.owl")))) |
|---|
| 14 | (prove:is (length deps) 87) |
|---|
| 15 | (prove:ok (not (find "owlapi-osgidistribution" deps :test 'search))) |
|---|
| 16 | (prove:ok (not (find "protege" deps :test 'search)))) |
|---|
| 17 | |
|---|
| 18 | (prove:finalize) |
|---|
Note: See
TracBrowser
for help on using the repository browser.
