From fb643bd26d005a0a15e90a32166ae97ab5eb31b3 Mon Sep 17 00:00:00 2001 From: Salvo 'LtWorf' Tomaselli Date: Mon, 18 Apr 2016 16:29:54 +0200 Subject: [PATCH] Added a bunch of .fail tests Tests that are supposed to fail. They are a bit random, but at least helped me fixing the test driver. --- test/0.fail | 1 + test/1.fail | 1 + test/10.fail | 1 + test/11.fail | 1 + test/12.fail | 1 + test/13.fail | 1 + test/14.fail | 1 + test/15.fail | 1 + test/16.fail | 1 + test/17.fail | 1 + test/18.fail | 1 + test/19.fail | 1 + test/2.fail | 1 + test/20.fail | 1 + test/21.fail | 1 + test/22.fail | 1 + test/23.fail | 1 + test/3.fail | 1 + test/4.fail | 1 + test/5.fail | 1 + test/6.fail | 1 + test/7.fail | 1 + test/8.fail | 1 + test/9.fail | 1 + 24 files changed, 24 insertions(+) create mode 100644 test/0.fail create mode 100644 test/1.fail create mode 100644 test/10.fail create mode 100644 test/11.fail create mode 100644 test/12.fail create mode 100644 test/13.fail create mode 100644 test/14.fail create mode 100644 test/15.fail create mode 100644 test/16.fail create mode 100644 test/17.fail create mode 100644 test/18.fail create mode 100644 test/19.fail create mode 100644 test/2.fail create mode 100644 test/20.fail create mode 100644 test/21.fail create mode 100644 test/22.fail create mode 100644 test/23.fail create mode 100644 test/3.fail create mode 100644 test/4.fail create mode 100644 test/5.fail create mode 100644 test/6.fail create mode 100644 test/7.fail create mode 100644 test/8.fail create mode 100644 test/9.fail diff --git a/test/0.fail b/test/0.fail new file mode 100644 index 0000000..80868c1 --- /dev/null +++ b/test/0.fail @@ -0,0 +1 @@ +σ , (people) \ No newline at end of file diff --git a/test/1.fail b/test/1.fail new file mode 100644 index 0000000..7fdce9b --- /dev/null +++ b/test/1.fail @@ -0,0 +1 @@ +(( \ No newline at end of file diff --git a/test/10.fail b/test/10.fail new file mode 100644 index 0000000..8261ebb --- /dev/null +++ b/test/10.fail @@ -0,0 +1 @@ +people - skills \ No newline at end of file diff --git a/test/11.fail b/test/11.fail new file mode 100644 index 0000000..27e9475 --- /dev/null +++ b/test/11.fail @@ -0,0 +1 @@ +skills - people \ No newline at end of file diff --git a/test/12.fail b/test/12.fail new file mode 100644 index 0000000..94eb31f --- /dev/null +++ b/test/12.fail @@ -0,0 +1 @@ +ρ i➡id(people) \ No newline at end of file diff --git a/test/13.fail b/test/13.fail new file mode 100644 index 0000000..41eebe9 --- /dev/null +++ b/test/13.fail @@ -0,0 +1 @@ +π i,id(people) \ No newline at end of file diff --git a/test/14.fail b/test/14.fail new file mode 100644 index 0000000..b29670e --- /dev/null +++ b/test/14.fail @@ -0,0 +1 @@ +π (people) \ No newline at end of file diff --git a/test/15.fail b/test/15.fail new file mode 100644 index 0000000..fe0972f --- /dev/null +++ b/test/15.fail @@ -0,0 +1 @@ +πpeople \ No newline at end of file diff --git a/test/16.fail b/test/16.fail new file mode 100644 index 0000000..5873a41 --- /dev/null +++ b/test/16.fail @@ -0,0 +1 @@ +skills * people \ No newline at end of file diff --git a/test/17.fail b/test/17.fail new file mode 100644 index 0000000..79584b2 --- /dev/null +++ b/test/17.fail @@ -0,0 +1 @@ +people * skills \ No newline at end of file diff --git a/test/18.fail b/test/18.fail new file mode 100644 index 0000000..19f5ecc --- /dev/null +++ b/test/18.fail @@ -0,0 +1 @@ +skills ÷ people \ No newline at end of file diff --git a/test/19.fail b/test/19.fail new file mode 100644 index 0000000..2bbbadf --- /dev/null +++ b/test/19.fail @@ -0,0 +1 @@ +pepl \ No newline at end of file diff --git a/test/2.fail b/test/2.fail new file mode 100644 index 0000000..e8a0f87 --- /dev/null +++ b/test/2.fail @@ -0,0 +1 @@ +) \ No newline at end of file diff --git a/test/20.fail b/test/20.fail new file mode 100644 index 0000000..31af051 --- /dev/null +++ b/test/20.fail @@ -0,0 +1 @@ +"people" \ No newline at end of file diff --git a/test/21.fail b/test/21.fail new file mode 100644 index 0000000..5433645 --- /dev/null +++ b/test/21.fail @@ -0,0 +1 @@ +a+b \ No newline at end of file diff --git a/test/22.fail b/test/22.fail new file mode 100644 index 0000000..545d1de --- /dev/null +++ b/test/22.fail @@ -0,0 +1 @@ +ratings ⋈ people ∪ people \ No newline at end of file diff --git a/test/23.fail b/test/23.fail new file mode 100644 index 0000000..7af1a14 --- /dev/null +++ b/test/23.fail @@ -0,0 +1 @@ +people ∪ (ratings ⋈ people) \ No newline at end of file diff --git a/test/3.fail b/test/3.fail new file mode 100644 index 0000000..94c6c3c --- /dev/null +++ b/test/3.fail @@ -0,0 +1 @@ +(people)) \ No newline at end of file diff --git a/test/4.fail b/test/4.fail new file mode 100644 index 0000000..681de12 --- /dev/null +++ b/test/4.fail @@ -0,0 +1 @@ +((people) \ No newline at end of file diff --git a/test/5.fail b/test/5.fail new file mode 100644 index 0000000..1d073d9 --- /dev/null +++ b/test/5.fail @@ -0,0 +1 @@ +people*people \ No newline at end of file diff --git a/test/6.fail b/test/6.fail new file mode 100644 index 0000000..17d2d87 --- /dev/null +++ b/test/6.fail @@ -0,0 +1 @@ +people ∪ skills \ No newline at end of file diff --git a/test/7.fail b/test/7.fail new file mode 100644 index 0000000..4d3fc64 --- /dev/null +++ b/test/7.fail @@ -0,0 +1 @@ +skills ∪ people \ No newline at end of file diff --git a/test/8.fail b/test/8.fail new file mode 100644 index 0000000..04694ff --- /dev/null +++ b/test/8.fail @@ -0,0 +1 @@ +people ∩ skills \ No newline at end of file diff --git a/test/9.fail b/test/9.fail new file mode 100644 index 0000000..6508f1a --- /dev/null +++ b/test/9.fail @@ -0,0 +1 @@ +skills ∩ people \ No newline at end of file