SMT query batching
Open
- Dominant language
- No language data
- Stars
- 36
- Forks
- 11
- PR merge metrics
- No merged PRs in 30d
Description
Pulse issues separate SMT queries for every proof obligation, effectively behaving like `--split_queries always`.
This can be needlessly slow when a program has many small queries.
We should add support to batch queries.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.