#389: add ConfigurationOption to give CVC5 some options directly.#390

Merged

baierd merged 3 commits intomasterfrom 389-further-options-for-cvc5

Sep 10, 2024

+139-16

Commits on Sep 9, 2024

#389 : add ConfigurationOption to give CVC5 some options directly.
kfriedberger
committed

Commits on Sep 10, 2024

Add a concrete option test for CVC5 with a time limit on queries
BaierD
committed
Hand CVC5 options specified by the user from the context to each associated prover
BaierD
committed