Update various failure labels

robust-rosin / robust

A dataset of 200+ bugs in the Robot Operating System for BugZoo

30 stars 10 forks source link

Update various failure labels #442

Closed hsd-dev closed 3 years ago

hsd-dev commented 3 years ago

The PR is stacked behind https://github.com/robust-rosin/robust/pull/437

gavanderhoorn commented 3 years ago

Is this in a state it could be merged?

Some .bugs change to SOFTWARE:NETWORK, which I was just looking into. Right now there are only 5, 2 of which are confidential (and we typically don't list those).

Having a few more would be nice.

hsd-dev commented 3 years ago

Here are few more: https://github.com/robust-rosin/robust/pull/428