Change prompt to fit to the renamed byte target (previously debug)
Change prompt to fit to the renamed byte target (previously debug)

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer