module demo::lang::Func::Test
rascal-0.40.17
Usage
import demo::lang::Func::Test;
Dependencies
import demo::lang::Func::Load;
import demo::lang::Func::Eval0;
import demo::lang::Func::Eval1;
import demo::lang::Func::Eval2;
import demo::lang::Func::Eval3;
Tests
test evalFact0
public test bool evalFact0() = eval0("fact", [10], load(fact0)) == 3628800;
test evalFact1
public test bool evalFact1() = eval1("fact", [10], load(fact1)) == 3628800;
test evalFact2
public test bool evalFact2() = eval2("fact", [10], load(fact2)) == <("n":3628800),3628800>;
test evalFact3
public test bool evalFact3() = eval3("fact", [10], load(fact3)) == <[10],3628800>;