1 files changed, 8 insertions, 0 deletions
diff --git a/test/membero.adb b/test/membero.adb
index 89e7f2e..827e6ab 100644
--- a/test/membero.adb
+++ b/test/membero.adb
@@ -44,8 +44,16 @@ begin
 
     Verse.Member (Verse.Fresh ("result") & Test_Item);
 
+    TIO.Put_Line ("Raw results:");
     TIO.Put_Line (Printer.Image (Verse));
 
+    TIO.New_Line;
+
+    TIO.Put_Line ("Reified results:");
+    for Subst of Verse.Take_All loop
+        TIO.Put_Line (Printer.Image (Resolve_First (Subst, "result")));
+    end loop;
+
 end Membero;