Merge pull request #3358 from jix/smtbmc-yices-forall
authorJannis Harder <me@jix.one>
Tue, 7 Jun 2022 11:19:34 +0000 (13:19 +0200)
committerGitHub <noreply@github.com>
Tue, 7 Jun 2022 11:19:34 +0000 (13:19 +0200)
commitfe048a48b3e9507b119def1a88a952c94ad600c7
tree273e73df241bf38cfcd6636a78f3192ccab1677b
parentd07828b40958c6c2a1d09cf13c9a307c75b855b4
parentab9e887dee3c6e173ca0943a4ac8bb55dd9b31b3
Merge pull request #3358 from jix/smtbmc-yices-forall

smtbmc: Force nonincremental mode when yices is used with forall