summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rw-r--r--tests/cst.ur8
1 files changed, 6 insertions, 2 deletions
diff --git a/tests/cst.ur b/tests/cst.ur
index 2db083f7..a0ccf539 100644
--- a/tests/cst.ur
+++ b/tests/cst.ur
@@ -1,7 +1,11 @@
-table u : {C : int, D : int, E : option int}
+table u : {C : int, D : int, E : option int, F : string}
PRIMARY KEY C,
CONSTRAINT U UNIQUE (C, D),
- CONSTRAINT U2 UNIQUE E
+ CONSTRAINT U2 UNIQUE E,
+
+ CONSTRAINT Pos CHECK D > 0,
+ CONSTRAINT NoNo CHECK C + D <> 2,
+ CONSTRAINT Known CHECK F = "_E = 6"
table t : {A : int, B : int, C : option int}
PRIMARY KEY B,