Rework regression test

ontodev · Feb 16, 2023 · 613db40 · 613db40
1 parent 95ca0dc
commit 613db40
Show file tree

Hide file tree

Showing 2 changed files with 29 additions and 2 deletions.
diff --git a/docs/examples/dropped_axiom.owl b/docs/examples/dropped_axiom.owl
@@ -10,6 +10,24 @@
     <owl:Ontology rdf:about="http://purl.obolibrary.org/obo/ro.owl"/>
 
 
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Annotation properties
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+
+
+
+    <!-- http://www.geneontology.org/formats/oboInOwl#http://www.w3.org/2000/01/rdf-schema#seeAlso -->
+
+    <owl:AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#http://www.w3.org/2000/01/rdf-schema#seeAlso"/>
+
+
+
     <!-- 
     ///////////////////////////////////////////////////////////////////////////////////////
     //

diff --git a/robot-command/src/test/java/org/obolibrary/robot/CommandLineIT.java b/robot-command/src/test/java/org/obolibrary/robot/CommandLineIT.java
@@ -231,9 +231,18 @@ public void testExecute() throws Exception {
       }
       runCommand(command);
     }
-    // Regression test for dropped axiom:
+
+    // Regression test for dropped axiom should fail:
     // https://github.com/ontodev/robot/issues/98
-    runCommand("robot convert -i dropped_axiom.owl -o " + "results/dropped_axiom.owl");
+    boolean passed = true;
+    try {
+      runCommand("robot convert -i dropped_axiom.owl -o " + "results/dropped_axiom.owl");
+    } catch (Exception e) {
+      passed = false;
+    }
+    if (passed) {
+      throw new Exception("dropped_axiom.owl test should fail but it passed");
+    }
 
     compareResults();
   }