Some possible longer scenario are not found
commit : 6d6ef219
Goal DEgoal {
description ""
pre = robinHood.location == exterieur &&
bureau.itemsInZone.contains(documentSecret) &&
openspace.itemsInZone.contains(cleBureau) &&
porteOpenspace.isLocked == false &&
porteAccueil.isLocked == false &&
robinHood.ownedItems.contains(badgeAccueil) &&
!robinHood.ownedItems.contains(badgeLocalTechnique)
post = !robinHood.compromizedMachine.isEmpty()
}
We have one compromized machine found instead of two (in openspace and bureau)
Edited by William Ragot