1 #include <catch2/catch_test_macros.hpp>
8 using namespace visitor;
9 using namespace codegen;
16 REQUIRE(ion.intra_conc_name() ==
"nai");
17 REQUIRE(ion.intra_conc_pointer_name() ==
"ion_nai");
19 REQUIRE(ion.extra_conc_name() ==
"nao");
20 REQUIRE(ion.extra_conc_pointer_name() ==
"ion_nao");
22 REQUIRE(ion.rev_potential_name() ==
"ena");
23 REQUIRE(ion.rev_potential_pointer_name() ==
"ion_na_erev");
25 REQUIRE(ion.ionic_current_name() ==
"ina");
26 REQUIRE(ion.ionic_current_pointer_name() ==
"ion_ina");
28 REQUIRE(ion.current_derivative_name() ==
"dinadv");
29 REQUIRE(ion.current_derivative_pointer_name() ==
"ion_dinadv");