runtest.m

CheckMate is a MATLAB-based tool for modeling, simulating and investigating properties of hybrid dyn

function runtest()

pathBegin = pwd;

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