ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
qstate.h
Go to the documentation of this file.
1/*******************************************************************
2 Module:
3
4 Author: Felipe Rodrigues
5
6 Date: October 2012
7
8 \*******************************************************************/
9
10#ifndef __QSTATE
11#define __QSTATE
12
13#endif