Testing

[brainstorm]

Unit tests, integration tests and HIL tests.

Potentially custom testing for the FSMs via proptest-rs, see issue #25 for context.

Here's a tangential read about CI testing for embedded systems.

But in a nutshell, the most interesting crate to consider for this task is: https://github.com/probe-rs/embedded-test

Wokwi is also coming into scope for this task and should trigger a MoU re-negotiation.

[brainstorm]

Examples of relevant tests we should include are, i.e, testing if serialization and deserialization of config struct members work via sshwire:

pub fn roundtrip_config() {
    // default config		
    let c1 = SSHStampConfig::new().unwrap();
    let mut buf = [0u8; 1000];
    let l = sshwire::write_ssh(&mut buf, &c1).unwrap();
    let v = &buf[..l];
    let c2: SSHStampConfig = sshwire::read_ssh(v, None).unwrap();
    assert_eq!(c1, c2);
}

[brainstorm]

Potential Wokwi substitutes?:

1. https://github.com/davidmonterocrespo24/velxio
2. https://www.reddit.com/r/esp32/comments/1sft5jd/we_built_an_instructionaccurate_esp32s3_simulator/