runtest.m

来自「CheckMate is a MATLAB-based tool for mod」· M 代码 · 共 17 行

function runtest()

pathBegin = pwd;

cd('demo/boing');
setup_boing;
load_system boing;
try
    verify;
    bdclose boing;
    cd (pathBegin);
catch
    cd(pathBegin);
    disp(lasterr);
end