From dd52905fa394bb276cee1442c680f8c02937b7fb Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 21 Feb 2013 12:10:35 -0800
Subject: Enabling two-timeframe property check in the interpolation procedure.

---
 src/proof/int/int.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/proof/int/int.h')

diff --git a/src/proof/int/int.h b/src/proof/int/int.h
index a93e3c93..97d628b4 100644
--- a/src/proof/int/int.h
+++ b/src/proof/int/int.h
@@ -61,6 +61,7 @@ struct Inter_ManParams_t_
     int  fUseBias;      // bias decisions to global variables
     int  fUseBackward;  // perform backward interpolation
     int  fUseSeparate;  // solve each output separately
+    int  fUseTwoFrames; // create the OR of two last timeframes
     int  fDropSatOuts;  // replace by 1 the solved outputs
     int  fDropInvar;    // dump inductive invariant into file
     int  fVerbose;      // print verbose statistics
-- 
cgit v1.2.3