[Telemetry] proptest for parsers.rs

[ronanM]

I have added proptest for parsing BootMessage (but I don't understood the device_id logic).

If you found that useful, i could continue with other messages.

[BlackYoup]

Hi!

I didn't know proptest, this seems nice. From what I understand, it will test multiple scenarios based on the format you give and will change parts of it each time?

but I don't understood the device_id logic

I may be mistaken but each makair device will have its own ID which is given in the device_id field. You can find more information in this issue: #120

I'll let @dsferruzza rule on this one but it seems good for me (maybe just remove the commented // println!("{:?}",&msg);)

[dsferruzza]

I have few minor changes to request but otherwise this looks good to me!

[dsferruzza]

@ronanM I just noticed that clippy rises several warnings; could you have a look?

I think you just need to have clippy installed and run cargo clippy --all-targets --all-features.

[ronanM]

I think that all TelemetryMessage messages are tested.

[dsferruzza]

Cool! I found other minor glitches, almost there!

Also is this indentation intentional?

I can't get rustfmt to help us here, I guess this is because most of the code is inside the proptest! macro(?)

[dsferruzza]

Thanks @ronanM!