diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-13 14:20:41 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-13 14:20:41 -0500 |
| commit | f5449b93792afc81e4da70d2a790ef7a2d2b49d5 (patch) | |
| tree | 14b2deefac4e078e2d5e4e5bdd076749de8659d8 /tests/init.ur | |
| parent | 2319f2ff07432849cc88956ad92467edd2e8bf5e (diff) | |
Initializers and setval
Diffstat (limited to 'tests/init.ur')
| -rw-r--r-- | tests/init.ur | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/init.ur b/tests/init.ur new file mode 100644 index 00000000..0a44a9e4 --- /dev/null +++ b/tests/init.ur @@ -0,0 +1,6 @@ +sequence seq +table fred : {A : int, B : int} + +initializer + setval seq 1; + dml (INSERT INTO fred (A, B) VALUES (0, 1)) |