From 6df3ffe815a5ea65da92e818c1eb48fca13bc5ce Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Mon, 2 Nov 2020 18:51:10 +0100
Subject: Simplify prettyprinting of queries in test

---
 src/test/scala/rsacomb/FilteringProgramSpecs.scala | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'src/test/scala')

diff --git a/src/test/scala/rsacomb/FilteringProgramSpecs.scala b/src/test/scala/rsacomb/FilteringProgramSpecs.scala
index 8d7b6d2..2dcf682 100644
--- a/src/test/scala/rsacomb/FilteringProgramSpecs.scala
+++ b/src/test/scala/rsacomb/FilteringProgramSpecs.scala
@@ -303,36 +303,36 @@ class FilteringProgramSpec
     }
   }
 
-  query0.toString() should "have {?obj, ?pred} as bounded variables" in {
+  "Query 0" should "have {?obj, ?pred} as bounded variables" in {
     val pred = Variable.create("obj")
     val obj = Variable.create("pred")
     val program = new FilteringProgram(query0, List())
     program.bounded should contain theSameElementsAs List(pred, obj)
   }
 
-  query1.toString() should "have no bounded variable" in {
+  "Query 1" should "have no bounded variable" in {
     val program = new FilteringProgram(query1, List())
     program.bounded shouldBe empty
   }
 
-  query2.toString() should "have no bounded variable" in {
+  "Query 2" should "have no bounded variable" in {
     val program = new FilteringProgram(query2, List())
     program.bounded shouldBe empty
   }
 
-  query3.toString() should "have {?w, ?fp} as bounded variables" in {
+  "Query 3" should "have {?w, ?fp} as bounded variables" in {
     val w = Variable.create("w")
     val fp = Variable.create("fp")
     val program = new FilteringProgram(query3, List())
     program.bounded should contain theSameElementsAs List(w, fp)
   }
 
-  query4.toString() should "have no bounded variable" in {
+  "Query 4" should "have no bounded variable" in {
     val program = new FilteringProgram(query4, List())
     program.bounded shouldBe empty
   }
 
-  query5.toString() should "have a non-empty bounded set" in {
+  "Query 5" should "have a non-empty bounded set" in {
     val w = Variable.create("w")
     val c_int = Variable.create("c_int")
     val f_int = Variable.create("f_int")
@@ -346,14 +346,14 @@ class FilteringProgramSpec
     )
   }
 
-  query6.toString() should "have a non-empty bounded set" in {
+  "Query 6" should "have a non-empty bounded set" in {
     val w = Variable.create("w")
     val int = Variable.create("int")
     val program = new FilteringProgram(query6, List())
     program.bounded should contain theSameElementsAs List(w, int)
   }
 
-  query7.toString() should "have a non-empty bounded set" in {
+  "Query 7" should "have a non-empty bounded set" in {
     val w = Variable.create("w")
     val z = Variable.create("z")
     val u = Variable.create("u")
-- 
cgit v1.2.3