#include "store.h"
#include "unity.h"

static store_t store;

void setUp(void)
{
	store_init(&store);
}

void tearDown(void)
{
}

static void test_alloc_returns_non_null_after_init(void)
{
	const expr_t *const expr = store_alloc(&store);
	TEST_ASSERT_NOT_NULL(expr);
}

static void test_two_calls_to_alloc_return_distinct(void)
{
	const expr_t *const a = store_alloc(&store);
	const expr_t *const b = store_alloc(&store);
	TEST_ASSERT_NOT_EQUAL(a, b);
}

int main(void)
{
	UNITY_BEGIN();
	RUN_TEST(test_alloc_returns_non_null_after_init);
	RUN_TEST(test_two_calls_to_alloc_return_distinct);
	return UNITY_END();
}