Retry failed SMT queries once #2208

Closed

Assignees

Labels

Milestone

opened

on Oct 19, 2020

After a failed SMT query, reset the solver and retry once only.
Emit a warning when this happens.

Metadata

Assignees

ana-pantilie

Labels

Type

No type

Projects

No projects

Milestone

Iteration 33

Relationships

None yet

Development

No branches or pull requests