annotate tests/termination.urp @ 2274:0730e217fc9c

First draft of more specific formulas for queries.
author Ziv Scully <ziv@mit.edu>
date Thu, 05 Nov 2015 01:48:42 -0500
parents e0ed0d4dabc9
children
rev   line source
adamc@313 1 debug
adamc@313 2 database dbname=test
adamc@313 3 exe /tmp/webapp
adamc@313 4
adamc@313 5 termination