A note on part C of lab 5: Unfortunately, the drivers for the I/O boards do not work well together Splint, and we did not detect this during lab development. Sorry!

Our suggestion is that you apply Splint to the project from the very first part of lab exercise 1 (the number guessing), alternatively e.g. some of the code that you used for the testing part of the lab, since neither is expected to use the drivers. If neither works, feel free to use Splint on any example C file that you can find on the web.

Also as an additional hint, the -I flag can be used to specify the location of any needed header files.