From 3ab9683d26246be83cc3f775a6b469785f12b775 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 20 Jul 2011 13:45:30 +0700
Subject: Added support for constraints in AIGER (bug fix).

---
 src/aig/gia/giaAiger.c | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c
index 69b3bb39..453db141 100644
--- a/src/aig/gia/giaAiger.c
+++ b/src/aig/gia/giaAiger.c
@@ -799,7 +799,12 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck
             {
                 // get the terminal type
                 if ( *pCur == 'i' || *pCur == 'l' )
+                {
+                    // skip till the end of the line
+                    while ( *pCur++ != '\n' );
+                    *(pCur-1) = 0;
                     continue;
+                }
                 if ( *pCur != 'o' )
                 {
                     fprintf( stdout, "Wrong terminal type.\n" );
-- 
cgit v1.2.3