ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
wlcJson.c
Go to the documentation of this file.
1
20
21#include "wlc.h"
22
23ABC_NAMESPACE_IMPL_START
24
28
32
44void Wlc_JsonTest()
45{
46}
47
51
52
53ABC_NAMESPACE_IMPL_END
54
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
Wlc_JsonTest
ABC_NAMESPACE_IMPL_START void Wlc_JsonTest()
DECLARATIONS ///.
Definition wlcJson.c:44