Code

Clean up destabilize_vs#1434

Code

Merged

sim642 merged 1 commit intogoblint:mastergoblint/analyzer:masterfrom Red-Panda64:cleanup-destabilize-vsRed-Panda64/goblint-analyzer:cleanup-destabilize-vsCopy head branch name to clipboardJun 3, 2024

+5-1

Commits

Commits on Jun 3, 2024

• add missing stable_remove hook to destabilize_vs

  Red-Panda64

  committed
  1082f1c