/* Any copyright is dedicated to the Public Domain.
 * http://creativecommons.org/publicdomain/zero/1.0/
 *
 * DFGtests.cpp
 *
 *  Created on: Jul 23, 2015
 *      Author: pgess <v.melnychenko@xreate.org>
 */
#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...)

TEST(DFA, CallInstance1) {
    std::string program=
            R"CODE(
    main = function::int{
        a(5, 8)
    }

    a= function(x::int, y::int)::int;entry  { x + y}
)CODE";

    std::unique_ptr<XreateManager> manager
            (XreateManager::prepare(move(program)));

    manager->run();
}