Commit af7b830c authored by Matthew Dawson's avatar Matthew Dawson
Browse files

When smtlib checks happen, handle the case of no sample values. 

If an smtlib checker doesn't generate sample values, use an empty array so
the system can handle everything properly.

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@11084 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent 6d933caf

@GUI/smtlib_ext_call.m

+12 −8
Original line number Diff line number Diff line
@@ -39,6 +39,9 @@ if (~error) 
        for i=0:res.size()-1

            r = res.get(i)

            var_out = {}

            % It is possible not sample values are present.  Just use an

            % empty cell array in this case.

            if ~isempty(r.SampleValues)

                var_it = vars.iterator()

                j = 0;

                while var_it.hasNext()
@@ -48,6 +51,7 @@ if (~error) 
                    j = j+1;

                end

                var_out

            end

            result = [result struct('id', '1234a', 'TCC', 'TCC', 'seq', r.Query, 'ce', {var_out})]

        end

        Valid_Report = ValidationReport(object);