From 7b95d6894abcc09c9f3ccb70deae13bace2864f0 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 4 Oct 2015 16:34:23 -0700 Subject: [PATCH] comment out unit test that depends on hard-wired path Signed-off-by: Nikolaj Bjorner --- src/test/dl_context.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/test/dl_context.cpp b/src/test/dl_context.cpp index deb1300ea..ac09722ac 100644 --- a/src/test/dl_context.cpp +++ b/src/test/dl_context.cpp @@ -77,6 +77,8 @@ void tst_dl_context() { symbol relations[] = { symbol("tr_skip"), symbol("tr_sparse"), symbol("tr_hashtable"), symbol("smt_relation2") }; const unsigned rel_cnt = sizeof(relations)/sizeof(symbol); + return; +#if 0 const char * test_file = "c:\\tvm\\src\\benchmarks\\datalog\\t0.datalog"; params_ref params; @@ -91,7 +93,7 @@ void tst_dl_context() { dl_context_saturate_file(params, test_file); } } - +#endif }