mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

qbfsat: Remove cruft inadvertently left untouched in commit 86fc49a9d6.

Browse source
This commit is contained in:
Alberto Gonzalez 2020-05-21 23:20:44 +00:00
parent aea0fd5ed4
commit ac41f8a9c7
No known key found for this signature in database
GPG key ID: 8395A8BA109708B2
1 changed files with 0 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
passes/sat/qbfsat.cc
View file

@ -23,19 +23,8 @@
#include "kernel/log.h" #include "kernel/log.h"
#include "kernel/rtlil.h" #include "kernel/rtlil.h"
#include "kernel/register.h" #include "kernel/register.h"
#include <cstdio>
#include <algorithm> #include <algorithm>
#if defined(_WIN32)
# define WIFEXITED(x) 1
# define WIFSIGNALED(x) 0
# define WIFSTOPPED(x) 0
# define WEXITSTATUS(x) ((x) & 0xff)
# define WTERMSIG(x) SIGTERM
#else
# include <sys/wait.h>
#endif
USING_YOSYS_NAMESPACE USING_YOSYS_NAMESPACE
PRIVATE_NAMESPACE_BEGIN PRIVATE_NAMESPACE_BEGIN