mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Add a quick-test
mode to the cry
shell script.
This excludes the new SuiteB tests, and moves the `allexamples` test into a separate directory that is also excluded. The standard `test` command still runs all tests.
This commit is contained in:
parent
dcfae1a18e
commit
25818493ff
11
cry
11
cry
@ -2,6 +2,8 @@
|
||||
|
||||
BIN=bin
|
||||
|
||||
QUICKTESTS="tests/issues tests/modsys tests/mono-binds tests/parser tests/regression tests/renamer"
|
||||
|
||||
function setup_external_tools() {
|
||||
[[ -x "$BIN/test-runner" || -x "$BIN/test-runner.exe" ]] && return
|
||||
cabal v2-install --install-method=copy --installdir="$BIN" test-lib
|
||||
@ -59,6 +61,15 @@ case $COMMAND in
|
||||
|
||||
haddock) echo Building Haddock documentation && cabal v2-haddock ;;
|
||||
|
||||
quick-test)
|
||||
echo Running quick tests
|
||||
setup_external_tools
|
||||
$BIN/test-runner --ext=.icry \
|
||||
--exe=cabal \
|
||||
-F v2-run -F -v0 -F exe:cryptol -F -- -F -b \
|
||||
$QUICKTESTS
|
||||
;;
|
||||
|
||||
test)
|
||||
echo Running tests
|
||||
setup_external_tools
|
||||
|
Loading…
Reference in New Issue
Block a user