on master help sign in
Disable primitives003 test in LLVM back end

There is apparently a bug which causes it to segfault - I don't know if this is an llvm bug or an idris llvm code generator bug, but I don't want this to get in the way of further uniqueness type development.

commit8fd681362e9f5104b491846cdca1c02abe7b921f authorEdwin Brady <ecb10@st-andrews.ac.uk> dateWed 20 Aug 2014, 12:03 (12 years ago) parent92b02cc
1 file changed+1−1
test/Makefile+1−1
test/Makefile+1−1
@@ -14,7 +14,7 @@ test_js:
1414 @perl ./runtest.pl without sugar004 reg029 io001 dsl002 io003 effects001 effects002 buffer001 --codegen node
1515
1616test_llvm:
17− @perl ./runtest.pl without sugar004 io003 buffer001 --codegen llvm
17+ @perl ./runtest.pl without primitives003 sugar004 io003 buffer001 --codegen llvm
1818
1919update:
2020 /usr/bin/env perl ./runtest.pl all -u