CBMC
|
A special command line object to mimic ARM's armcc. More...
#include "goto_cc_cmdline.h"
Go to the source code of this file.
Classes | |
class | armcc_cmdlinet |
A special command line object to mimic ARM's armcc.
Definition in file armcc_cmdline.h.