Description
Experimental feature for embedded/device testing: add assumptions related to energy and power usage.
Goals
- Measure CPU utilization and battery impact.
- Add assumptions like
assume_low_power_mode().
- Useful for mobile/embedded platforms.
Acceptance Criteria
- Energy assumptions integrate with reporting.
- Works where hardware support is available.