Mercurial > urweb
diff tests/cst.ur @ 713:baaae037e7f6
Retry failed record summary unifications at the end, in hopes that more has been learned
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 09 Apr 2009 14:59:29 -0400 |
parents | 915ec60592d4 |
children | 0f42461273cf |
line wrap: on
line diff
--- a/tests/cst.ur Thu Apr 09 13:59:34 2009 -0400 +++ b/tests/cst.ur Thu Apr 09 14:59:29 2009 -0400 @@ -22,9 +22,9 @@ CONSTRAINT ForAB FOREIGN KEY (A, B) REFERENCES u (D, C) ON DELETE CASCADE ON UPDATE RESTRICT, CONSTRAINT ForBA FOREIGN KEY (A, B) REFERENCES u (C, D) ON UPDATE NO ACTION, CONSTRAINT ForB FOREIGN KEY B REFERENCES u (E), - CONSTRAINT ForC FOREIGN KEY C REFERENCES u (C) + CONSTRAINT ForC FOREIGN KEY C REFERENCES u (C), - (*CONSTRAINT Self FOREIGN KEY B REFERENCES t (B)*) + CONSTRAINT Self FOREIGN KEY B REFERENCES t (B) table s : {B : option int} CONSTRAINT UniB UNIQUE B