module Test
rascal-0.28.2
typepal-0.8.3
Usage
import examples::pico::Test;
function picoTModelFromName
TModel picoTModelFromName(str name) {
Tree pt = parse(#start[Program], |project://typepal/src/examples/pico/<name>.pico|);
return collectAndSolve(pt);
}
function picoTModelForTree
TModel picoTModelForTree(Tree pt) {
return collectAndSolve(pt);
}
function main
value main()
= picoTests();
Tests
test picoTests
test bool picoTests() {
return runTests([|project://typepal/src/examples/pico/tests.ttl|],
#start[Program],
TModel (Tree t) { return picoTModelForTree(t); },
runName = "Pico");
}