Julian Erhard

Regarding our discussion at today's Gobcon, whether it suffices to exclude that the abstract value for the artificially introduced loop counter variable is top: As for an artificial loop counter...

>Does this now also fix the case from https://github.com/goblint/analyzer/issues/1671? Yes, it does, I also merged master with the Bitfielddomain in here and added the test case as `37/16`. Thus, this...

@michael-schwarz Brought up at todays Gobcon that as this is using the pathsensitivity functor, this may lead to a quadractic computational cost, as all iterations yet considered have to be...