Sensmap (command)

File: sensmap

Description: This program maps the sensor map fsm.map to every state in the given machine and writes the result into the given output file.

Input:   h.stats - List of states in h.fsm


 * fsm.map - Sensor mapping for some states in h.fsm

Output: sensor_data.map - Sensor data map