cprover
|
Convert goto functions to xml structures and back (with irep hashing) More...
Go to the source code of this file.
Convert goto functions to xml structures and back (with irep hashing)
Definition in file xml_goto_function_hashing.cpp.