Searched refs:getCV (Results 1 – 2 of 2) sorted by relevance
194 let getCV vnm (SBV (SVal _ (Left c))) = (vnm, c) function195 …getCV vnm (SBV (SVal k _ )) = error $ "qc2.getCV: Impossible happened, non-CV value while ex… function197 vals = [ getCV "i" (literal i)198 , getCV "Expected" (literal expected)202 … Right v -> showModel defaultSMTCfg (SMTModel [] Nothing (vals ++ [getCV "Result" (literal v)]) [])252 let getCV vnm (SBV (SVal _ (Left c))) = (vnm, c) function253 …getCV vnm (SBV (SVal k _ )) = error $ "qc2.getCV: Impossible happened, non-CV value while ex… function255 vals = [ getCV "i1" (literal i1)256 , getCV "i2" (literal i2)257 , getCV "Expected" (literal expected)[all …]
120 inline ConstantVisitor & getCV() in getCV() function in analysis::AnalysisVisitor