Replaced line 37 with line 37
< bool employee_setName(employee *e, char na[])
---
> bool employee_setName (employee *e, unique char na[])
Replaced line 84 to line 85 with line 84
< ercList elem;
< ercList prev;
---
> ercList elem = c->vals;
Replaced line 87 to line 89 with line 86
< for (prev = 0, elem = c->vals;
< elem != 0;
< prev = elem, elem = elem->next)
---
> if (elem != NULL)
Deleted line 93 (matches line 89)
< if (prev == 0)
Added line 91 to line 94 (was line 94)
> free (elem);
> c->size--;
> return TRUE;
> }
Replaced line 96 with line 96 to line 98
< prev->next = elem->next;
---
> {
> ercList prev = elem;
> elem = elem->next;
Added line 100 to line 104 (was line 97)
> for (; elem != 0; prev = elem, elem = elem->next)
> {
> if (eref_equal (elem->val, er))
> {
> prev->next = elem->next;
Added line 108 to line 109 (was line 100)
> }
> }
Added line 4 (was line 3)
> # include <assert.h>
Replaced line 8 with line 9
< typedef struct { ercList vals; int size; } ercInfo;
---
> typedef struct { /*@null@*/ ercList vals; int size; } ercInfo;
Replaced line 5 with line 5
< erc erc_create(void)
---
> only erc erc_create(void)
Replaced line 55 with line 55
< char *erc_sprint(erc c)
---
> only char *erc_sprint(erc c)
Replaced line 60 with line 60
< void erc_final(erc c)
---
> void erc_final (only erc c)
Added line 80 (was line 79)
> /*@+loopexec@*/
Added line 85 (was line 83)
> /*@=loopexec@*/
Replaced line 11 to line 12 with line 11 to line 12
< employee *conts;
< eref_status *status;
---
> /*@reldef@*/ /*@only@*/ employee *conts;
> /*@only@*/ eref_status *status;