ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
main.c
Go to the documentation of this file.
1#include <misc/util/abc_global.h>
2
3ABC_NAMESPACE_IMPL_START
4
5int Abc_RealMain(int argc, char *argv[]);
6
7ABC_NAMESPACE_IMPL_END
8
9int main(int argc, char *argv[])
10{
11 return ABC_NAMESPACE_PREFIX Abc_RealMain(argc, argv);
12}
abc_global.h
ABC_NAMESPACE_IMPL_START
#define ABC_NAMESPACE_IMPL_START
Definition abc_namespaces.h:54
ABC_NAMESPACE_IMPL_END
#define ABC_NAMESPACE_IMPL_END
Definition abc_namespaces.h:55
ABC_NAMESPACE_PREFIX
#define ABC_NAMESPACE_PREFIX
Definition abc_namespaces.h:56
main
ABC_NAMESPACE_IMPL_END int main(int argc, char *argv[])
GLOBAL VARIABLES ///.
Definition main.c:9
Abc_RealMain
ABC_NAMESPACE_IMPL_START int Abc_RealMain(int argc, char *argv[])
Definition mainReal.c:88