/*
 * DFGtests.cpp
 *
 *  Created on: Jul 23, 2015
 *      Author: pgess
 */
#include "xreatemanager.h"
#include "pass/dfapass.h"

#include "gtest/gtest.h"
using namespace xreate;
using namespace std;

//DEBT dfa tests: dfa scheme, dfa scheme + return value annoation (example: script/testpass/containers...)