Fix existing class hierarchy test syntax

antlechner · antlechner · commit 79cad15ba6e1 · 2018-06-27T15:53:26.000+01:00
These two tests were previously never run because of a missing comma in
the SCENARIO line. The two scenarios also need to have different names.
diff --git a/jbmc/unit/java_bytecode/goto-programs/class_hierarchy_graph.cpp b/jbmc/unit/java_bytecode/goto-programs/class_hierarchy_graph.cpp
@@ -27,7 +27,7 @@ void require_parent_child_relationship(
 }
 
 SCENARIO(
-  "Output a simple class hierarchy"
+  "Output a simple class hierarchy graph",
   "[core][goto-programs][class_hierarchy_graph]")
 {
   symbol_tablet symbol_table =
diff --git a/jbmc/unit/java_bytecode/goto-programs/class_hierarchy_output.cpp b/jbmc/unit/java_bytecode/goto-programs/class_hierarchy_output.cpp
@@ -30,7 +30,7 @@ void require_parent_child_relationship(
 }
 
 SCENARIO(
-  "Output a simple class hierarchy"
+  "Output a simple class hierarchy",
   "[core][goto-programs][class_hierarchy]")
 {
   symbol_tablet symbol_table =

Original file line number	Diff line number	Diff line change
`@@ -27,7 +27,7 @@ void require_parent_child_relationship(`
`27`	`27`	`}`
`28`	`28`
`29`	`29`	`SCENARIO(`
`30`		`- "Output a simple class hierarchy"`
	`30`	`+ "Output a simple class hierarchy graph",`
`31`	`31`	`"[core][goto-programs][class_hierarchy_graph]")`
`32`	`32`	`{`
`33`	`33`	`symbol_tablet symbol_table =`
Original file line number	Diff line number	Diff line change
`@@ -30,7 +30,7 @@ void require_parent_child_relationship(`
`30`	`30`	`}`
`31`	`31`
`32`	`32`	`SCENARIO(`
`33`		`- "Output a simple class hierarchy"`
	`33`	`+ "Output a simple class hierarchy",`
`34`	`34`	`"[core][goto-programs][class_hierarchy]")`
`35`	`35`	`{`
`36`	`36`	`symbol_tablet symbol_table =`