robust-rosin / robust

A dataset of 200+ bugs in the Robot Operating System for BugZoo
30 stars 10 forks source link

updated MODEL-REALITY-DIVERGENCE #441

Closed hsd-dev closed 3 years ago

hsd-dev commented 3 years ago

As per https://github.com/ChrisTimperley/ese-robust/issues/30#issuecomment-876678489, SYSTEM:MODEL-REALITY-DIVERGENCE labels are updated to SYSTEM:BEHAVING-INCORRECTLY and/or SYSTEM:MONITORING.

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

ChrisTimperley commented 3 years ago

@ipa-hsd Any updates on the requested changes?

hsd-dev commented 3 years ago

@ChrisTimperley I have updated the labels