blob: 5abbee7bdb94750b1920c428a763f4bc37e03851 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
//===-- SMTParser.h -------------------------------------------------------===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#ifndef SMT_PARSER_H
#define SMT_PARSER_H
#include "parser_temp.h"
#include "expr/Parser.h"
#include <cassert>
#include <iostream>
#include <map>
#include <cstring>
namespace klee {
namespace expr {
class SMTParser : public klee::expr::Parser {
private:
std::string fname;
void *buf;
public:
SMTParser(const std::string filename) : fname(filename) {}
virtual klee::expr::Decl *ParseTopLevelDecl();
virtual void SetMaxErrors(unsigned N) { }
virtual unsigned GetNumErrors() const { return 1; }
virtual ~SMTParser() {}
void Init(void);
};
}
}
#endif
|
