def value(self) -> Optional[int]:
        """Returns the value of this symbol if concrete, otherwise None.

        :return:
        """
        if self.symbolic:
            return None
        assert isinstance(self.raw, z3.BitVecNumRef)
        return self.raw.as_long()
def value ( self ) -> Optional [ int ] : if self . symbolic : return None assert isinstance ( self . raw , z3 . BitVecNumRef ) return self . raw . as_long ( )
Returns the value of this symbol if concrete, otherwise None.

        :return: