this.carbonMonoxide = "tested"
this.carbonMonoxideLatestValue = "tested"
}
-<<<<<<< HEAD
carbonMonoxideDetectors.add(new CarbonMonoxideDetector(id, label, displayName, this.currentCarbonMonoxideValue, this.carbonMonoxideLatestValue))
-=======
- carbonMonoxideDetectors.add(new CarbonMonoxideDetector(id, label, displayName, this.carbonMonoxide, this.carbonMonoxideLatestValue))
->>>>>>> e378d6a65b25030f8914dc97f04b81ddff351d9c
}
//By Model Checker