ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
mpm.c
Go to the documentation of this file.
1
20
21#include "mpmInt.h"
22
23ABC_NAMESPACE_IMPL_START
24
25
29
33
45void Mpm_ManTest()
46{
47}
48
52
53
54ABC_NAMESPACE_IMPL_END
55
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
Mpm_ManTest
ABC_NAMESPACE_IMPL_START void Mpm_ManTest()
DECLARATIONS ///.
Definition mpm.c:45