cprover
Loading...
Searching...
No Matches
jdiff_main.cpp File Reference

JDIFF Main Module. More...

Include dependency graph for jdiff_main.cpp:

Go to the source code of this file.

Functions

int main (int argc, const char **argv)

Detailed Description

JDIFF Main Module.

Definition in file jdiff_main.cpp.

Function Documentation

◆ main()

int main ( int argc,
const char ** argv )

Definition at line 35 of file jdiff_main.cpp.