Merge pull request #3258 from jix/fix-no-assertions
authorMiodrag Milanović <mmicko@gmail.com>
Tue, 29 Mar 2022 19:20:07 +0000 (21:20 +0200)
committerGitHub <noreply@github.com>
Tue, 29 Mar 2022 19:20:07 +0000 (21:20 +0200)
commitd44f618de52af4122a4d927863516d91a2145314
tree58c09be23af44eecc58c9acb473f3af9ab501860
parent48d7a6c477e24eba64716d12a1ac17b5c9109450
parent8b15f3a548571fd4736c76b5cc0b0b8e8cfc4fad
Merge pull request #3258 from jix/fix-no-assertions

smtbmc: fix bmc with no assertions