mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00
Code Activity

Merge pull request #2032 from waywardmonkeys/enable-dl-table-tests

Browse source 
Enable dl_table tests on non-Windows/Cygwin.
This commit is contained in:
Nikolaj Bjorner 2018-12-09 20:01:21 +01:00 committed by GitHub
parent 559f57470e 1b91694d9b
commit 45bf7887e4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/test/dl_table.cpp
View file

@ -1,8 +1,6 @@
/*++
Copyright (c) 2015 Microsoft Corporation
--*/
#if defined(_WINDOWS) || defined(_CYGWIN)
#include "muz/base/dl_context.h"
#include "muz/rel/dl_table.h"
#include "muz/fp/dl_register_engine.h"
@ -98,7 +96,3 @@ void test_dl_bitvector_table() {
void tst_dl_table() {
test_dl_bitvector_table();
}
#else
void tst_dl_table() {
}
#endif