The switches test-home-of-confirmed-people? and test-workplace-of-confirmed-people? are only used in update-epistemic-status, but no in perform-test. This means that, if an agent gets tested and it is found out that they are sick, their colleagues and housemates are not tested, but if they believe they are infected, their colleagues and housemates will get tested.
To me this looks like unexpected behaviour, and this should probably be rectified.
lvanhee
commented
4 years ago
The switches
test-home-of-confirmed-people?andtest-workplace-of-confirmed-people?are only used inupdate-epistemic-status, but no inperform-test. This means that, if an agent gets tested and it is found out that they are sick, their colleagues and housemates are not tested, but if they believe they are infected, their colleagues and housemates will get tested.To me this looks like unexpected behaviour, and this should probably be rectified.