compiler_backend_c_test.cc File Reference

Tests for Compiler_Backend_C.H. More...

#include <gtest/gtest.h>
#include <atomic>
#include <chrono>
#include <cstdlib>
#include <filesystem>
#include <fstream>
#include <string>
#include <unistd.h>
#include <Compiler_Backend_C.H>

Include dependency graph for compiler_backend_c_test.cc:

Go to the source code of this file.

Functions
	TEST (CompilerBackendC, EmitsReadableGotoBasedC)
	TEST (CompilerBackendC, StandaloneGeneratedCCompilesAndRunsTopLevel)
	TEST (CompilerBackendC, LibraryStyleEmissionCanCallFunctionsDirectly)
	TEST (CompilerBackendC, GeneratedCRuntimeChecksSurfaceErrors)

Detailed Description

Tests for Compiler_Backend_C.H.

Definition in file compiler_backend_c_test.cc.

Function Documentation

TEST() [1/4]

TEST	(	CompilerBackendC	,
		EmitsReadableGotoBasedC
	)

Definition at line 480 of file compiler_backend_c_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_emit_c_module(), Aleph::Compiler_C_Backend_Options::module_name, and options.

TEST() [2/4]

TEST	(	CompilerBackendC	,
		GeneratedCRuntimeChecksSurfaceErrors
	)

Definition at line 556 of file compiler_backend_c_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_emit_c_module(), Aleph::Compiler_C_Backend_Options::module_name, and options.

TEST() [3/4]

TEST	(	CompilerBackendC	,
		LibraryStyleEmissionCanCallFunctionsDirectly
	)

Definition at line 522 of file compiler_backend_c_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_emit_c_module(), Aleph::Compiler_C_Backend_Options::module_name, and options.

TEST() [4/4]

TEST	(	CompilerBackendC	,
		StandaloneGeneratedCCompilesAndRunsTopLevel
	)

Definition at line 498 of file compiler_backend_c_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_emit_c_module(), Aleph::Compiler_C_Backend_Options::module_name, and options.