Skip to content
update_prover_check_status.m 913 B
Newer Older
%% update_prover_check_status
%    updates the menu item checked status for singal output vs. multioutput based on the
%    current status of the program.
% inputs:
%   object - current GUI object
% outputs:
%   none
% Author: Colin Eles elesc@mcmaster.ca
% Organization: McMaster Centre for Software Certification
function update_prover_check_status( object )


if object.default_prover == object.CVC_const
    set(object.prover_opt_smtlib,'Checked','off');
    set(object.prover_opt_cvc,'Checked','on');
    set(object.prover_opt_pvs,'Checked','off');
elseif object.default_prover == object.SMTLIB_const
    set(object.prover_opt_smtlib,'Checked','on');
    set(object.prover_opt_cvc,'Checked','off');
    set(object.prover_opt_pvs,'Checked','off');
    set(object.prover_opt_smtlib,'Checked','off');
    set(object.prover_opt_cvc,'Checked','off');
    set(object.prover_opt_pvs,'Checked','on');
end

end