summaryrefslogtreecommitdiffhomepage
path: root/digital/asserv/src/asserv/pwm.avr.c
diff options
context:
space:
mode:
Diffstat (limited to 'digital/asserv/src/asserv/pwm.avr.c')
-rw-r--r--digital/asserv/src/asserv/pwm.avr.c9
1 files changed, 6 insertions, 3 deletions
diff --git a/digital/asserv/src/asserv/pwm.avr.c b/digital/asserv/src/asserv/pwm.avr.c
index 8d12cc8a..932e5a7f 100644
--- a/digital/asserv/src/asserv/pwm.avr.c
+++ b/digital/asserv/src/asserv/pwm.avr.c
@@ -46,9 +46,12 @@ void
pwm_update (void)
{
/* Some assumption checks. */
- assert (pwm_left > -PWM_MAX && pwm_left < PWM_MAX);
- assert (pwm_right > -PWM_MAX && pwm_right < PWM_MAX);
- assert (pwm_aux0 > -PWM_MAX && pwm_aux0 < PWM_MAX);
+ assert (pwm_left >= -PWM_MAX_FOR (pwm_left)
+ && pwm_left <= PWM_MAX_FOR (pwm_left));
+ assert (pwm_right >= -PWM_MAX_FOR (pwm_right)
+ && pwm_right <= PWM_MAX_FOR (pwm_right));
+ assert (pwm_aux0 >= -PWM_MAX_FOR (pwm_aux0)
+ && pwm_aux0 <= PWM_MAX_FOR (pwm_aux0));
pwm_mp_update ();
pwm_ocr_update ();
}