cprover
|
Convert goto programs to xml structures and back (with irep hashing) More...
#include "xml_goto_program_hashing.h"
#include <sstream>
#include <iostream>
#include "xml_irep_hashing.h"
Go to the source code of this file.
Convert goto programs to xml structures and back (with irep hashing)
Definition in file xml_goto_program_hashing.cpp.