add notrace version for btdemo

diff --git a/fragment.output/btdemo.notrace b/fragment.output/btdemo.notrace
new file mode 100644 (file)
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 (file)
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
+...