Loading @PVS_checker/pvs_check_for_imports.m +1 −1 Original line number Diff line number Diff line Loading @@ -24,7 +24,7 @@ function string = pvs_check_for_imports(object) hashtable = {{'sqrt', 'reals@sqrt'} {'sin', 'trig@trig_basic'} {'cos', 'trig@trig_basic'} {'tan', 'trig@trig_basic'} {'double', 'double'} {'double_finite', 'double'} {'single' 'single'} {'single_finite' 'single'}} ; hashtable = {{'sqrt', 'reals@sqrt'} {'sin', 'trig@trig_basic'} {'cos', 'trig@trig_basic'} {'tan', 'trig@trig_basic'} {'double', 'double'} {'single' 'single'}} ; % check for imports in the results grid. for i=1:size(object.data.Grid0.Cells,2) Loading Loading
@PVS_checker/pvs_check_for_imports.m +1 −1 Original line number Diff line number Diff line Loading @@ -24,7 +24,7 @@ function string = pvs_check_for_imports(object) hashtable = {{'sqrt', 'reals@sqrt'} {'sin', 'trig@trig_basic'} {'cos', 'trig@trig_basic'} {'tan', 'trig@trig_basic'} {'double', 'double'} {'double_finite', 'double'} {'single' 'single'} {'single_finite' 'single'}} ; hashtable = {{'sqrt', 'reals@sqrt'} {'sin', 'trig@trig_basic'} {'cos', 'trig@trig_basic'} {'tan', 'trig@trig_basic'} {'double', 'double'} {'single' 'single'}} ; % check for imports in the results grid. for i=1:size(object.data.Grid0.Cells,2) Loading