forked from haiwan/sledge
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.
Sean McBride
de5ee9af53
|
4 years ago | |
---|---|---|
.. | ||
.gitignore | 4 years ago | |
README.md | 4 years ago | |
debug.sh | 4 years ago | |
ekf_raw.dat | 4 years ago | |
expected_result.dat | 4 years ago | |
run.sh | 4 years ago | |
spec.json | 4 years ago |
README.md
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
.