NAME
jdiff - Syntactic diff of goto programs obtained from Java bytecode
SYNOPSIS
- jdiff [-?] [-h] [--help]
-
show help
- jdiff old new
-
jars to be compared
DESCRIPTION
OPTIONS
Diff options:
- --show-goto-functions
-
show loaded goto program
- --list-goto-functions
-
list loaded goto functions
- --show-properties
-
show the properties, but don't run analysis
- --show-loops
-
show the loops in the programs
- -u | --unified
-
output unified diff
--change-impact |
--forward-impact |
- --backward-impact
-
output unified diff with forward&backward/forward/backward dependencies
- --compact-output
-
output dependencies in compact mode
Program instrumentation options:
- --no-assertions
-
ignore user assertions
- --no-assumptions
-
ignore user assumptions
- --cover CC
-
Add instrumentation as used with jbmc(1) for creating test-suite with coverage criterion CC, where CC is one of assertion[s], assume[s], branch[es], condition[s], cover, decision[s], location[s], or mcdc.
- --cover-failed-assertions
-
do not stop coverage checking at failed assertions (this is the default for --cover assertions)
- --show-test-suite
-
print test suite for coverage criterion (requires --cover)
Other options:
- --version
-
show version and exit
- --json-ui
-
use JSON-formatted output
- --verbosity n
-
verbosity level
- --timestamp [monotonic|wall]
-
Print microsecond-precision timestamps. monotonic: stamps increase monotonically. wall: ISO-8601 wall clock timestamps.
ENVIRONMENT
All tools honor the TMPDIR environment variable when generating temporary files and directories.
BUGS
If you encounter a problem please create an issue at https://github.com/diffblue/cbmc/issues
SEE ALSO
COPYRIGHT
2016-2018, Daniel Kroening, Peter Schrammel