state_discontinuity.cpp File Reference

#include <catch2/catch_test_macros.hpp>
#include <catch2/matchers/catch_matchers_string.hpp>
#include "ast/program.hpp"
#include "parser/nmodl_driver.hpp"
#include "utils/test_utils.hpp"
#include "visitors/state_discontinuity_visitor.hpp"
#include "visitors/symtab_visitor.hpp"
#include "visitors/semantic_analysis_visitor.hpp"
#include "visitors/visitor_utils.hpp"

Go to the source code of this file.

Functions
auto	run_state_discontinuity_visitor (const std::string &text)
	SCENARIO ("State discontinuity in a NET_RECEIVE block", "[visitor][state_discontinuity]")
	SCENARIO ("State discontinuity outside of a NET_RECEIVE block", "[visitor][state_discontinuity]")
	SCENARIO ("State discontinuity call contains invalid arguments", "[visitor][state_discontinuity]")

Function Documentation

run_state_discontinuity_visitor()

auto run_state_discontinuity_visitor

(

const std::string &

text

)

Definition at line 30 of file state_discontinuity.cpp.

SCENARIO() [1/3]

SCENARIO	(	"State discontinuity call contains invalid arguments"	,
		""	[visitor][state_discontinuity]
	)

Definition at line 76 of file state_discontinuity.cpp.

SCENARIO() [2/3]

SCENARIO	(	"State discontinuity in a NET_RECEIVE block"	,
		""	[visitor][state_discontinuity]
	)

Definition at line 42 of file state_discontinuity.cpp.

SCENARIO() [3/3]

SCENARIO	(	"State discontinuity outside of a NET_RECEIVE block"	,
		""	[visitor][state_discontinuity]
	)

Definition at line 62 of file state_discontinuity.cpp.