analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard
verified publisher icon goblint

New Analysis combining Linear Two-Variable Equalities with other domains

Open leunam99 opened this issue 6 months ago • 3 comments

This pull-request adds an analysis combining Lin2VarEq with multiple other domains: Intervals, Congruences and several options for two variable inequalities.

Lin2VarEq selects a representant for each group of variables connected by equalities. The other domains contain only information about representants and convert information about other variables from / to constraints for the respective representants.

leunam99 avatar Jun 23 '25 11:06 leunam99

We now have more tests on master, you should rename the new group to 88-....

michael-schwarz avatar Jul 16 '25 14:07 michael-schwarz

I am not sure why the regression test fail, as it runs locally. Do you have a suggestion how to debug this?

leunam99 avatar Jul 18 '25 15:07 leunam99

I am not sure why the regression test fail, as it runs locally. Do you have a suggestion how to debug this?

The CI artifact (https://github.com/goblint/analyzer/actions/runs/16374091305/artifacts/3564686204) should have the log files.

EDIT: The failing CI jobs are the pull_request ones, meaning the failure happens when this is merged with the current master.

sim642 avatar Jul 18 '25 18:07 sim642