Compiler problem.

alanminko · alanminko · commit 4e5c5e62af3c · 2026-02-25T20:18:28.000-08:00
diff --git a/src/proof/cec/cecProve.c b/src/proof/cec/cecProve.c
@@ -306,7 +306,9 @@ int Cec_GiaProveOne( Gia_Man_t * p, int iEngine, int nTimeOut, int fVerbose, Par
 }
 Gia_Man_t * Cec_GiaScorrOld( Gia_Man_t * p, int nTimeOut, Par_Share_t * pShare )
 {
-    Cec_ScorrStop_t Stop = { pShare, nTimeOut > 0 ? Abc_Clock() + (abctime)nTimeOut * CLOCKS_PER_SEC : 0 };
+    Cec_ScorrStop_t Stop;
+    Stop.pShare = pShare;
+    Stop.TimeToStop = nTimeOut > 0 ? (abctime)(Abc_Clock() + (abctime)nTimeOut * CLOCKS_PER_SEC) : 0;
     if ( Gia_ManRegNum(p) == 0 )
         return Gia_ManDup( p );
     Ssw_Pars_t Pars, * pPars = &Pars;
@@ -322,7 +324,9 @@ Gia_Man_t * Cec_GiaScorrOld( Gia_Man_t * p, int nTimeOut, Par_Share_t * pShare )
 }
 Gia_Man_t * Cec_GiaScorrNew( Gia_Man_t * p, int nTimeOut, Par_Share_t * pShare )
 {
-    Cec_ScorrStop_t Stop = { pShare, nTimeOut > 0 ? Abc_Clock() + (abctime)nTimeOut * CLOCKS_PER_SEC : 0 };
+    Cec_ScorrStop_t Stop;
+    Stop.pShare = pShare;
+    Stop.TimeToStop = nTimeOut > 0 ? (abctime)(Abc_Clock() + (abctime)nTimeOut * CLOCKS_PER_SEC) : 0;
     if ( Gia_ManRegNum(p) == 0 )
         return Gia_ManDup( p );
     Cec_ParCor_t Pars, * pPars = &Pars;

Original file line number	Diff line number	Diff line change
`@@ -306,7 +306,9 @@ int Cec_GiaProveOne( Gia_Man_t * p, int iEngine, int nTimeOut, int fVerbose, Par`
`306`	`306`	`}`
`307`	`307`	`Gia_Man_t * Cec_GiaScorrOld( Gia_Man_t * p, int nTimeOut, Par_Share_t * pShare )`
`308`	`308`	`{`
`309`		`- Cec_ScorrStop_t Stop = { pShare, nTimeOut > 0 ? Abc_Clock() + (abctime)nTimeOut * CLOCKS_PER_SEC : 0 };`
	`309`	`+ Cec_ScorrStop_t Stop;`
	`310`	`+ Stop.pShare = pShare;`
	`311`	`+ Stop.TimeToStop = nTimeOut > 0 ? (abctime)(Abc_Clock() + (abctime)nTimeOut * CLOCKS_PER_SEC) : 0;`
`310`	`312`	`if ( Gia_ManRegNum(p) == 0 )`
`311`	`313`	`return Gia_ManDup( p );`
`312`	`314`	`Ssw_Pars_t Pars, * pPars = &Pars;`
`@@ -322,7 +324,9 @@ Gia_Man_t * Cec_GiaScorrOld( Gia_Man_t * p, int nTimeOut, Par_Share_t * pShare )`
`322`	`324`	`}`
`323`	`325`	`Gia_Man_t * Cec_GiaScorrNew( Gia_Man_t * p, int nTimeOut, Par_Share_t * pShare )`
`324`	`326`	`{`
`325`		`- Cec_ScorrStop_t Stop = { pShare, nTimeOut > 0 ? Abc_Clock() + (abctime)nTimeOut * CLOCKS_PER_SEC : 0 };`
	`327`	`+ Cec_ScorrStop_t Stop;`
	`328`	`+ Stop.pShare = pShare;`
	`329`	`+ Stop.TimeToStop = nTimeOut > 0 ? (abctime)(Abc_Clock() + (abctime)nTimeOut * CLOCKS_PER_SEC) : 0;`
`326`	`330`	`if ( Gia_ManRegNum(p) == 0 )`
`327`	`331`	`return Gia_ManDup( p );`
`328`	`332`	`Cec_ParCor_t Pars, * pPars = &Pars;`