Update results table in relationalAnalysis only if exp.relation.prec-dump is set#1530

sim642 merged 1 commit into

mastergoblint/analyzer:masterfrom

issue-1562goblint/analyzer:issue-1562Copy head branch name to clipboard