cprover
/builddir/build/BUILD/cbmc-cbmc-5.11/jbmc/src/jdiff/README.md
Go to the documentation of this file.
1 \ingroup module_hidden
2 \defgroup jdiff jdiff
3 
4 # Folder jdiff
5 
6 `jdiff/` is a tool that offers functionality similar to the `diff`
7 tool, but for Java programs.