Code

Fix thread for non-unique spawns#1617

Code

Merged

michael-schwarz merged 3 commits intomastergoblint/analyzer:masterfrom issue_1615goblint/analyzer:issue_1615Copy head branch name to clipboardNov 6, 2024

+61-6

Commits

Commits on Nov 3, 2024

• Fix thread for non-unique spawns

  michael-schwarz

  committed
  c0d51c3

  Copy full SHA for c0d51c3

Commits on Nov 4, 2024

• Use multiple also in bot case

  Show description for 1bb50df
  

  michael-schwarz

  and

  sim642

  authored
  1bb50df

  Copy full SHA for 1bb50df

• Move tests

  michael-schwarz

  committed
  eb149f9

  Copy full SHA for eb149f9