Searched refs:private_context (Results 1 – 1 of 1) sorted by relevance
144 def add_counter_example(context, private_context, kvlist): argument147 if private_context:148 context.counter_example.update(private_context.counter_example)162 private_context = copy_context(context)163 private_context.variables.update(x for x in zip(varnames, results))164 if self.boolean_value([x for x in self[-1].select(private_context)]):166 add_counter_example(context, private_context, zip(varrefs, results))169 add_counter_example(context, private_context, zip(varrefs, results))
Completed in 8 milliseconds