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");