Python yices_set_config Exemples

Exemple #1

 def _set_option(cfg, name, value):
     rv = yicespy.yices_set_config(cfg, name, value)
     if rv != 0:
         # This might be a parameter to be set later (see set_params)
         # We raise the exception only if the parameter exists but the value
         # provided to the parameter is invalid.
         err = yicespy.yices_error_code()
         if err == yicespy.CTX_INVALID_PARAMETER_VALUE:
             raise PysmtValueError("Error setting the option "
                                   "'%s=%s'" % (name, value))

Exemple #2

Fichier : yices.py Projet : agriggio/pysmt

 def _set_option(cfg, name, value):
     rv = yicespy.yices_set_config(cfg, name, value)
     if rv != 0:
         # This might be a parameter to be set later (see set_params)
         # We raise the exception only if the parameter exists but the value
         # provided to the parameter is invalid.
         err = yicespy.yices_error_code()
         if err == yicespy.CTX_INVALID_PARAMETER_VALUE:
             raise PysmtValueError("Error setting the option "
                                   "'%s=%s'" % (name,value))