(self)
Fill the class with constrained symbolic values.
Fill the class with constrained symbolic values.
Fill the class with constrained symbolic values .
def fill_symbolic(self):
        """
        Fill the class with constrained symbolic values.
        """
        self.wYear = self.state.solver.BVS('cur_year', 16, key=('api', 'GetLocalTime', 'cur_year'))
        self.wMonth = self.state.solver.BVS('cur_month', 16, key=('api', 'GetLocalTime', 'cur_month'))
        self.wDayOfWeek = self.state.solver.BVS('cur_dayofweek', 16, key=('api', 'GetLocalTime', 'cur_dayofweek'))
        self.wDay = self.state.solver.BVS('cur_day', 16, key=('api', 'GetLocalTime', 'cur_day'))
        self.wHour = self.state.solver.BVS('cur_hour', 16, key=('api', 'GetLocalTime', 'cur_hour'))
        self.wMinute = self.state.solver.BVS('cur_minute', 16, key=('api', 'GetLocalTime', 'cur_minute'))
        self.wSecond = self.state.solver.BVS('cur_second', 16, key=('api', 'GetLocalTime', 'cur_second'))
        self.wMilliseconds = self.state.solver.BVS('cur_millisecond', 16, key=('api', 'GetLocalTime', 'cur_millisecond'))

        self.state.add_constraints(self.wYear >= 1601)
        self.state.add_constraints(self.wYear <= 30827)
        self.state.add_constraints(self.wMonth >= 1)
        self.state.add_constraints(self.wMonth <= 12)
        self.state.add_constraints(self.wDayOfWeek <= 6)
        self.state.add_constraints(self.wDay >= 1)
        self.state.add_constraints(self.wDay <= 31)
        self.state.add_constraints(self.wHour <= 23)
        self.state.add_constraints(self.wMinute <= 59)
        self.state.add_constraints(self.wSecond <= 59)
        self.state.add_constraints(self.wMilliseconds <= 999)
def fill_symbolic ( self ) : self . wYear = self . state . solver . BVS ( 'cur_year' , 16 , key = ( 'api' , 'GetLocalTime' , 'cur_year' ) ) self . wMonth = self . state . solver . BVS ( 'cur_month' , 16 , key = ( 'api' , 'GetLocalTime' , 'cur_month' ) ) self . wDayOfWeek = self . state . solver . BVS ( 'cur_dayofweek' , 16 , key = ( 'api' , 'GetLocalTime' , 'cur_dayofweek' ) ) self . wDay = self . state . solver . BVS ( 'cur_day' , 16 , key = ( 'api' , 'GetLocalTime' , 'cur_day' ) ) self . wHour = self . state . solver . BVS ( 'cur_hour' , 16 , key = ( 'api' , 'GetLocalTime' , 'cur_hour' ) ) self . wMinute = self . state . solver . BVS ( 'cur_minute' , 16 , key = ( 'api' , 'GetLocalTime' , 'cur_minute' ) ) self . wSecond = self . state . solver . BVS ( 'cur_second' , 16 , key = ( 'api' , 'GetLocalTime' , 'cur_second' ) ) self . wMilliseconds = self . state . solver . BVS ( 'cur_millisecond' , 16 , key = ( 'api' , 'GetLocalTime' , 'cur_millisecond' ) ) self . state . add_constraints ( self . wYear >= 1601 ) self . state . add_constraints ( self . wYear <= 30827 ) self . state . add_constraints ( self . wMonth >= 1 ) self . state . add_constraints ( self . wMonth <= 12 ) self . state . add_constraints ( self . wDayOfWeek <= 6 ) self . state . add_constraints ( self . wDay >= 1 ) self . state . add_constraints ( self . wDay <= 31 ) self . state . add_constraints ( self . wHour <= 23 ) self . state . add_constraints ( self . wMinute <= 59 ) self . state . add_constraints ( self . wSecond <= 59 ) self . state . add_constraints ( self . wMilliseconds <= 999 )