git.iko.soy/Idris-dev
on master help sign in
Disable the DecEq deriving test, due to slowness

Fixes #2785.

commitac06ebb304726d42cbbee3dd8bd9d40212a8f160 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateFri 27 Nov 2015, 18:00 (11 years ago) parentb4abe25
2 files changed+4−1
compare with master
unifiedsplit
test/meta002/Deriving.idr+2 test/meta002/run+2−1
test/meta002/Deriving.idr+2
@@ -1,6 +1,8 @@
11||| Test some deriving features
22module Deriving
33
4+-- NB: test disabled due to excess memory consumption
5+
46import Pruviloj
57import Pruviloj.Derive.DecEq
68
test/meta002/run+2−1
@@ -1,5 +1,6 @@
11#!/usr/bin/env bash
22idris $@ -p pruviloj --nocolour --check --consolewidth 70 Tacs.idr
33idris $@ -p pruviloj --nocolour --check --consolewidth 70 AgdaStyleReflection.idr
4−idris $@ -p pruviloj --nocolour --check --consolewidth 70 Deriving.idr
4+# Disabled due to excess memory consumption
5+# idris $@ -p pruviloj --nocolour --check --consolewidth 70 Deriving.idr
56rm -f *.ibc