//BitVec returns an Expr which is symbollic of string in with bit length bithWidth
BitVec returns an Expr which is symbollic of string in with bit length bithWidth
// BitVec returns an Expr which is symbollic of string in with bit length bithWidth
func (s *Solver) BitVec(in string, bitWidth int) Expr {
	if uint(bitWidth) > s.width {
		s.width = uint(bitWidth)
	}
	return Expr(s.VarExpr(in, s.BvType(bitWidth)))
}
func ( s * Solver ) BitVec ( in string , bitWidth int ) Expr { if uint ( bitWidth ) > s . width { s . width = uint ( bitWidth ) } return Expr ( s . VarExpr ( in , s . BvType ( bitWidth ) ) ) }
BitVec returns an Expr which is symbollic of string in with bit length bithWidth
BitVec returns an Expr which is symbollic of string in with bit length bithWidth