diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2018-05-19 16:39:49 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-19 16:39:49 -0400 |
commit | 077666b77bf21054e1e1f67ba61dfbaf57525378 (patch) | |
tree | f38f14cf8adb099d94fdc28d52c64ae879a0359d /tests/aborter.urp | |
parent | 30edae2956d346e7df7ca27fcc77432e45cea99e (diff) | |
parent | 4c01511f5bf2229da7b146943444278d714ed7d6 (diff) |
Merge pull request #123 from ashalkhakov/tests
Adding Selenium-based checking to tests.
Diffstat (limited to 'tests/aborter.urp')
-rw-r--r-- | tests/aborter.urp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/aborter.urp b/tests/aborter.urp index fc1925ae..8c971440 100644 --- a/tests/aborter.urp +++ b/tests/aborter.urp @@ -1,4 +1,5 @@ database dbname=aborter sql aborter.sql +safeGet Aborter/main aborter |