You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
514 B
514 B
EKF
Executes TinyEKF as shows by You Chong's GPS example
In order to be compatible with the stdin/stdout model of serverless, the input and output files are binary concatenations of various C structs.
See main() in runtime/tests/TinyEKF/extras/c/gps_ekf_fn.c for specifics.
This test executes multiple iterations, comparing the binary result against a known memoized result stored at expected_result.dat.