From 777260cf214c573e8a88492f2240964480a051e7 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Mon, 23 Aug 2021 10:40:59 +0200 Subject: Add links to relevant code to article about testing Arduino code with QuickCheck --- ...-09-07-testing-arduino-code-with-haskell-quickcheck.md | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/resources/md/2021-09-07-testing-arduino-code-with-haskell-quickcheck.md b/resources/md/2021-09-07-testing-arduino-code-with-haskell-quickcheck.md index 647da97..6598aed 100644 --- a/resources/md/2021-09-07-testing-arduino-code-with-haskell-quickcheck.md +++ b/resources/md/2021-09-07-testing-arduino-code-with-haskell-quickcheck.md @@ -4,14 +4,17 @@ computer, and used [Haskell][] [QuickCheck][] to run automated property tests against it. With that set up, fixing the bug was a matter of minutes. This article assumes basic knowledge of both Arduino and Haskell.* +The Arduino code is [on GitHub][ATSAMF-source], and here is [the comparison of +the changes made for this article][diff]. + [[toc]] # Background -A friend of mine (Rick PA5NN) built a morse code transceiver, the [ATSAMF][], -and I wrote the Arduino software for it. Part of the software is the keyer -routine, which translates the input of a [dual-lever paddle][] to a stream of -dots and dashes: +A friend of mine (Rick PA5NN) built a morse code transceiver, the [ATSAMF][] +(Dutch), and I wrote the [Arduino software][ATSAMF-source] for it. Part of the +software is the keyer routine, which translates the input of a [dual-lever +paddle][] to a stream of dots and dashes: ![Electronic dual paddle keyer (public domain; from the Wikipedia page).](/assets/img/dual-lever-paddle.jpg) @@ -437,9 +440,13 @@ reproduce bug. However, it is clearly most usable when the code you want to test is not very Arduino-specific. It remains to be seen at what point you hit the limit of how much you can mock. +The Arduino code is [on GitHub][ATSAMF-source], and here is [the comparison of +the changes made for this article][diff]. + [Arduino]: https://www.arduino.cc/ [ATSAMF]: https://a03.veron.nl/projectvoorstel-pa5nn-zelfbouw-qrp-hf-cw-transceiver/ [ATSAMF-source]: https://github.com/camilstaps/ATSAMF-source/ +[diff]: https://github.com/camilstaps/ATSAMF-source/compare/1f0242cc283019f02f96a43b4271079b307e5a1d..174cb89c1706f2f2222ce72b3fff0591e88e9e43 [dual-lever paddle]: https://en.wikipedia.org/wiki/Telegraph_key#Dual-lever_paddles [Haskell]: https://haskell.org/ [QuickCheck]: https://hackage.haskell.org/package/QuickCheck/ -- cgit v1.2.3