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