Add a failed test

examples/Makefile

@@ -19,6 +19,9 @@ TIMEOUT ?= 240
 listcomp.h: listcomp-flatmap.ds
 	cozy -t $(TIMEOUT) --allow-big-sets listcomp-flatmap.ds --c++ listcomp.h -p 8080 --verbose --save listcomp.synthesized
 
+select.h: select-flatmap.ds
+	cozy -t $(TIMEOUT) --allow-big-sets select-flatmap.ds --c++ select.h -p 8080 --verbose --save select.synthesized
+
 listcomp: listcomp.cpp listcomp.h
 	g++ -std=c++11 -O3 -Werror '$<' -o '$@'
 

examples/select-flatmap.ds

@@ -0,0 +1,25 @@
+SelectFlatmap:
+    type R = {
+        A: Int,
+        B: String
+    }
+    type S = {
+        B: String,
+        C: Int
+    }
+    type Q = {
+        B: String,
+        C: Int
+    }
+    type W = {
+        B: String,
+        C: Int
+    }
+
+    state Rs : Bag<R>
+    state Ss : Bag<S>
+    state Qs : Bag<Q>
+    state Ws : Bag<W>
+
+    query q()
+        [ (r.A, s.C, q.B, w.C) | r <- Rs, s <- Ss, q <- Qs, w <- Ws, r.A == 15, q.B == w.B ]