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.