mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-19 20:33:38 +00:00
Code Activity

test/lp: Replace if linux with if not windows.

Browse source 
This is stuff that works on posix, so we can flip the check.
This commit is contained in:
Bruce Mitchener 2022-08-03 00:43:46 +07:00 • committed by Nikolaj Bjorner
parent 55b70b4c7e
commit d8c99480c6
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/test/lp/lp.cpp
View file

@ -19,7 +19,7 @@
--*/ --*/
#include <limits> #include <limits>
#if _LINUX_ #ifndef _WINDOWS
#include <dirent.h> #include <dirent.h>
#endif #endif
#include <algorithm> #include <algorithm>
@ -1735,7 +1735,7 @@ void random_test() {
} }
} }
#if _LINUX_ #ifndef _WINDOWS
void fill_file_names(vector<std::string> &file_names, std::set<std::string> & minimums) { void fill_file_names(vector<std::string> &file_names, std::set<std::string> & minimums) {
char *home_dir = getenv("HOME"); char *home_dir = getenv("HOME");
if (home_dir == nullptr) { if (home_dir == nullptr) {
@ -4072,7 +4072,7 @@ void test_lp_local(int argn, char**argv) {
} }
if (args_parser.option_is_used("--solve_some_mps")) { if (args_parser.option_is_used("--solve_some_mps")) {
#if _LINUX_ #ifndef _WINDOWS
solve_some_mps(args_parser); solve_some_mps(args_parser);
#endif #endif
ret = 0; ret = 0;