cprover
goto-diff/README.md
Go to the documentation of this file.
1
\ingroup module_hidden
2
\defgroup goto-diff goto-diff
3
4
# Folder goto-diff
5
6
`goto-diff/` is a tool that offers functionality similar to the `diff`
7
tool, but for GOTO programs.
README.md
Generated by
1.8.14