deprecated feature: operator (&); you should use (&&) instead
deprecated feature: operator (&); you should use (&&) instead

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