From ad58eea444d9f1f16a2498a32777719911203a23 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Tue, 5 Jan 2021 17:00:29 +0000 Subject: Add external script to execute benchmarks and gather results. --- src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala') diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala index 0554dbc..bf96a31 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala @@ -61,7 +61,7 @@ object RSAComb extends App { case Some(query) => { val answers = ontology ask query Logger.print(s"$answers", Logger.QUIET) - Logger print s"Number of answer: ${answers.length} (${answers.lengthWithMultiplicity})" + Logger print s"Number of answers: ${answers.length} (${answers.lengthWithMultiplicity})" /* Additional DEBUG information */ if (Logger.level >= Logger.DEBUG) { -- cgit v1.2.3