Remove GeneralArrayTest which was only used for tests removed in PR #154
Remove GeneralArrayTest which was only used for tests removed in PR #154

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