35 lines
908 B
C++
35 lines
908 B
C++
/** @file DPrimitive.test.cpp
|
|
*
|
|
* @author Roland Conybeare, Jan 2026
|
|
**/
|
|
|
|
#include <xo/procedure2/init_procedure2.hpp>
|
|
#include <xo/procedure2/init_primitives.hpp>
|
|
#include <catch2/catch.hpp>
|
|
|
|
namespace xo {
|
|
using xo::scm::Primitives;
|
|
|
|
namespace ut {
|
|
static InitEvidence s_init = InitSubsys<S_procedure2_tag>::require();
|
|
|
|
TEST_CASE("DPrimitive-init", "[procedure2][DPrimitive]")
|
|
{
|
|
REQUIRE(s_init.evidence());
|
|
}
|
|
|
|
TEST_CASE("DPrimitive-n_args", "[procedure2][DPrimitive]")
|
|
{
|
|
// s_mul_gco_gco_pm takes 2 AGCObject args
|
|
REQUIRE(Primitives::s_mul_gco_gco_pm.n_args() == 2);
|
|
}
|
|
|
|
TEST_CASE("DPrimitive-is_nary", "[procedure2][DPrimitive]")
|
|
{
|
|
REQUIRE(Primitives::s_mul_gco_gco_pm.is_nary() == false);
|
|
}
|
|
|
|
} /*namespace ut*/
|
|
} /*namespace xo*/
|
|
|
|
/* end DPrimitive.test.cpp */
|