Activity 8: Check the specified interfaces by monitoring

Extend the project file VendingMachine.prj with an import of ICoinCheck.interface.
Add a monitoring task as follows:

Generate Monitors {
   monitoringIService for interface IService {
      trace directories "VendingMachineEventsFiles"
   }
   monitoringICoinCheck for interface ICoinCheck {
      trace directories "VendingMachineEventsFiles"
   }
}

Use the GUI to generate a few .event files using commands from the service interface and the possibility to generate an error by the coin checker interface. Observe that the Reset operation requires the selection of a result.
Apply monitoring (right-click on VendingMachine.prj and choose "Run As > CommaSuite Generation and Monitoring") to check all .event files. Inspect the result in folder comma-gen. Improve the state machine when needed.