#include "../src/vacuum_output_lock.h"

#include <assert.h>
#include <stdint.h>
#include <stdio.h>

int main(void)
{
    assert(vacuum_output_lock_allows_power(false));
    assert(!vacuum_output_lock_allows_power(true));
    assert(vacuum_output_lock_allows_duty(0u));
    assert(!vacuum_output_lock_allows_duty(1u));
    assert(!vacuum_output_lock_allows_duty(1000u));
    assert(!vacuum_output_lock_allows_duty(UINT16_MAX));
    for (uint32_t duty=0; duty<=UINT16_MAX; ++duty)
        assert(vacuum_output_lock_allows_duty((uint16_t)duty)==(duty==0u));
    puts("PASS: target fan output lock rejects every power-on and nonzero-duty request.");
    return 0;
}
