Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 28, 2024

Conversation

karoliineh
Copy link
Member

Solves #1526.

@karoliineh karoliineh added the performance Analysis time, memory usage label Jun 28, 2024
@sim642 sim642 linked an issue Jun 28, 2024 that may be closed by this pull request
@sim642 sim642 added this to the SV-COMP 2025 milestone Jun 28, 2024
@sim642 sim642 merged commit 6d2654f into master Jun 28, 2024
21 checks passed
@sim642 sim642 deleted the issue-1562 branch June 28, 2024 15:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
performance Analysis time, memory usage
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Relational analysis always populates result table even when not dumping
3 participants