diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-09 12:36:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-09 12:36:13 -0400 |
| commit | 9e804908dd69043c8a9942cdf6042b8dc0d76175 (patch) | |
| tree | 4437f1d468859452358a91bf5ba7071b11a1a419 /tests/rec.urp | |
| parent | 4960cd8c2ec1e02c90e42d16db13f045427b4173 (diff) | |
Termination checking allows anything in links and actions
Diffstat (limited to 'tests/rec.urp')
| -rw-r--r-- | tests/rec.urp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/rec.urp b/tests/rec.urp new file mode 100644 index 00000000..8c3adc2c --- /dev/null +++ b/tests/rec.urp @@ -0,0 +1,5 @@ +debug +database dbname=test +exe /tmp/webapp + +rec |