pico-tracker

Historia

Richard Meadows d2bb49827c Initial implementations of location.c/h and made but not written test cases for such		2015-04-13 17:46:48 +01:00
..
ctypesgen	Plenty of changes to the test system	2015-03-13 19:28:09 +00:00
tc	Initial implementations of location.c/h and made but not written test cases for such	2015-04-13 17:46:48 +01:00
README.md	Plenty of changes to the test system	2015-03-13 19:28:09 +00:00
main.c	Testcases now run through prelude	2015-03-13 19:42:01 +00:00
tests.py	Testcases now run through prelude	2015-03-13 19:42:01 +00:00

Verification

Something like this.

> /dev/null arm-none-eabi-gdb -q -x tools/verification/list/protocol.py

You need to have your debugger configured in config.mk or I imagine things won't work to well

Initially the verification.py loads the latest binary, and runs Reset_Handler until the top of main. It then jumps to tc_main instead.

While stopped in tc_main a pointer to the test case is set. The program is then run, and one loop of tc_main runs the test case.

Several naming conventions need to the followed for verification.py to find everything

. . .