From f8f37d261bfb513a804078bba396f7b040024ff7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 15 Jul 2013 15:22:05 -0700
Subject: New technology mapper.

---
 src/map/mpm/mpmCore.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/map/mpm/mpmCore.c')

diff --git a/src/map/mpm/mpmCore.c b/src/map/mpm/mpmCore.c
index 99badbe2..7e7ab615 100644
--- a/src/map/mpm/mpmCore.c
+++ b/src/map/mpm/mpmCore.c
@@ -90,6 +90,8 @@ Gia_Man_t * Mpm_ManMappingTest( Gia_Man_t * pGia, Mpm_Par_t * pPars )
 {
     Mig_Man_t * p;
     Gia_Man_t * pNew;
+    assert( pPars->pLib->LutMax <= MPM_VAR_MAX );
+    assert( pPars->nNumCuts <= MPM_CUT_MAX );
     if ( pPars->fUseGates )
     {
         pGia = Gia_ManDupMuxes( pGia );
-- 
cgit v1.2.3