dabund24

It looks like I was a little bit too pessimistic about that issue after also having had stumbled across it with `sbahn-muenchen` and `mobil-nrw`. I've tested more profiles and `vrn`...

> > * Is there a way to enforce configuration settings to be set to certain values in order for the analysis to work (i.e. similar to how analyses can...

> > * is there an ideal amount of tests I should write or can I write as many as I feel to be necessary? > > As many as...

The ci builds failed due to an incorrect semi colon. I fixed this in https://github.com/goblint/analyzer/pull/1865/commits/f1efd326c95b6157a8b15edbfec0b062ba55797f, so everything should be working now

90/10 exposes a bug, which is caused by the fact that locksets have a more granular path sensitivity than the implemented creation lockset analyses. This will be fixed soon.

Before discussing this, I'll start by first explaining the potential fix of *the bug* just in case this is part of the necessary considerations. The reason the bug happens is...

> > Before discussing this, I'll start by first explaining the potential fix of the bug just in case this is part of the necessary considerations. The reason the bug...

Is there a way of accessing all (must-)ancestors of a thread? Getting all threads in general or all keys of a global analysis would also work, but I don't see...

> I have not yet completely reviewed it (**please re-request my review once you have fixed the bug you found**). The simpler version is now done (at least that's what...

Both variants are now fully implemented and described in the pr summary. I'm really impressed with how well maps work as domains here. That saved a lot of work compared...