From 47afd0f4f4f258ddc9231b791e6149430240ba52 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 23 Oct 2013 16:26:13 -0700
Subject: Multi-output property solver.

---
 src/aig/gia/gia.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/aig/gia/gia.h')

diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index 122e5025..8d953273 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -133,6 +133,7 @@ struct Gia_Man_t_
     Vec_Int_t *    vLutConfigs;   // LUT configurations
     Abc_Cex_t *    pCexComb;      // combinational counter-example
     Abc_Cex_t *    pCexSeq;       // sequential counter-example
+    Vec_Ptr_t *    vSeqModelVec;  // sequential counter-examples
     int *          pCopies;       // intermediate copies
     Vec_Int_t *    vTruths;       // used for truth table computation
     Vec_Int_t *    vFlopClasses;  // classes of flops for retiming/merging/etc
-- 
cgit v1.2.3