You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
fbrausse
changed the title
@fbrausse: Can you please submit a PR to update our documentation https://ssvlab.github.io/esbmc/documentation.html#smt-backends with these commands?
Update our documentation for SMT formula generation
May 13, 2024
Additionally, just so I don't forget: streamline BUILDING instructions, maybe separate "simple" instructions (just Boolector) from the complete ones.
fbrausse
changed the title
Update our documentation for SMT formula generation
Update our documentation for SMT formula generation & build instructions
May 13, 2024
@fbrausse: Can you please submit a PR to update our documentation https://ssvlab.github.io/esbmc/documentation.html#smt-backends with these commands?
Originally posted by @lucasccordeiro in #1829 (comment)
The text was updated successfully, but these errors were encountered: