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/Makefile | |
| parent | 30edae2956d346e7df7ca27fcc77432e45cea99e (diff) | |
| parent | 4c01511f5bf2229da7b146943444278d714ed7d6 (diff) | |
Merge pull request #123 from ashalkhakov/tests
Adding Selenium-based checking to tests.
Diffstat (limited to 'tests/Makefile')
| -rw-r--r-- | tests/Makefile | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/tests/Makefile b/tests/Makefile index 5313d12d..ecf5557b 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -2,3 +2,29 @@ all: test.o test.o: test.c gcc -c test.c -o test.o +### + +simple:: + ./driver.sh aborter2 + ./driver.sh aborter + ./driver.sh activeBlock + ./driver.sh activeFocus + ./driver.sh active + ./driver.sh agg + ./driver.sh ahead + ./driver.sh alert + ./driver.sh align + ./driver.sh appjs + ./driver.sh ascdesc + echo ./driver.sh attrMangle + ./driver.sh attrs_escape + echo ./driver.sh attrs + ./driver.sh autocomp + ./driver.sh babySpawn + ./driver.sh bindpat + ./driver.sh DynChannel + ./driver.sh jsonTest + ./driver.sh entities + ./driver.sh fact + ./driver.sh filter + ./driver.sh jsbspace |