cprover
Loading...
Searching...
No Matches
assembler_parser.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9#include "assembler_parser.h"
10
12
13extern char *yyassemblertext;
14
15int yyassemblererror(const std::string &error)
16{
18 return 0;
19}
int yyassemblererror(const std::string &error)
assembler_parsert assembler_parser
char * yyassemblertext
void parse_error(const std::string &message, const std::string &before)
Definition: parser.cpp:30