From: Matt S Trout <mst@shadowcat.co.uk>
Date: Wed, 18 Apr 2018 22:16:33 +0000 (+0000)
Subject: add notrace version for btdemo
X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=commitdiff_plain;h=db4a49defb311531d69383e7475364da0699aa89;p=scpubgit%2FDX.git

add notrace version for btdemo
---

diff --git a/fragment.output/btdemo.notrace b/fragment.output/btdemo.notrace
new file mode 100644
index 0000000..e8ad32b
--- /dev/null
+++ b/fragment.output/btdemo.notrace
@@ -0,0 +1,23 @@
+$ ?
+? eq ?X {{ a 1 b 2 c 3 }}
+SetValue 0.X {{ a 1 b 2 c 3 }}
+? eq ?Y {{ d 1 e 2 f 3 }}
+SetValue 0.Y {{ d 1 e 2 f 3 }}
+? member_at X ?XKey ?XValue
+SetValue 0.XKey 'a'
+BindValue 0.XValue 0.X.a
+? member_at Y ?YKey ?YValue
+SetValue 0.YKey 'd'
+BindValue 0.YValue 0.Y.d
+? eq XValue 2
+? eq YValue 2
+? ...
+{{
+    X {{ a 1 b 2 c 3 }}
+    XKey 'b'
+    XValue 2
+    Y {{ d 1 e 2 f 3 }}
+    YKey 'e'
+    YValue 2
+}}
+No next solution
diff --git a/fragments/btdemo.notrace b/fragments/btdemo.notrace
new file mode 100644
index 0000000..693eb81
--- /dev/null
+++ b/fragments/btdemo.notrace
@@ -0,0 +1,8 @@
+?
+eq ?X {{ a 1 b 2 c 3 }}
+eq ?Y {{ d 1 e 2 f 3 }}
+member_at X ?XKey ?XValue
+member_at Y ?YKey ?YValue
+eq XValue 2
+eq YValue 2
+...