CBMC
Loading...
Searching...
No Matches
state.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: State Encoding
4
5Author: Daniel Kroening, dkr@amazon.com
6
7\*******************************************************************/
8
9#include "state.h"