diff options
Diffstat (limited to 'resources/pug')
3 files changed, 29 insertions, 0 deletions
diff --git a/resources/pug/finals/articles/2021-09-07-testing-arduino-code-with-haskell-quickcheck.pug b/resources/pug/finals/articles/2021-09-07-testing-arduino-code-with-haskell-quickcheck.pug new file mode 100644 index 0000000..b1e77d5 --- /dev/null +++ b/resources/pug/finals/articles/2021-09-07-testing-arduino-code-with-haskell-quickcheck.pug @@ -0,0 +1,18 @@ +extends /layout-articles.pug + +block prepend title + | Testing Arduino code with QuickCheck - + +block prepend menu + - var page = '2021-09-07-testing-arduino-code-with-haskell-quickcheck' + +block append breadcrumbs + +breadcrumb('Testing Arduino code with Haskell QuickCheck') + +block subtitle + | Testing Arduino code with Haskell QuickCheck +block subtitleDate + | 7 September 2021 + +block page + include:markdown ../../../md/2021-09-07-testing-arduino-code-with-haskell-quickcheck.md diff --git a/resources/pug/finals/articles/index.pug b/resources/pug/finals/articles/index.pug index b9fcfff..9edea4e 100644 --- a/resources/pug/finals/articles/index.pug +++ b/resources/pug/finals/articles/index.pug @@ -15,6 +15,14 @@ block page | You can also go back to my #[a(href='/') home page]. h1 + a(href='2021-09-07-testing-arduino-code-with-haskell-quickcheck.html'). + 7 September 2021: Testing Arduino code with Haskell QuickCheck + blockquote. + An Arduino program of mine showed a weird bug, but I couldn't reliably reproduce it. + I isolated the relevant C code so that I could run it on a computer, and used Haskell QuickCheck to run automated property tests against it. + With that set up, fixing the bug was a matter of minutes. + + h1 a(href='2021-08-02-cloogle-search-overview.html'). 2 August 2021: Cloogle search overview blockquote. diff --git a/resources/pug/include/layout-articles.pug b/resources/pug/include/layout-articles.pug index 2aeaa1c..7b63cca 100644 --- a/resources/pug/include/layout-articles.pug +++ b/resources/pug/include/layout-articles.pug @@ -8,6 +8,9 @@ block append menu +menu( {name: 'Home', link: ''}, {name: 2021, menu: [ + { name: 'Testing Arduino code with Haskell QuickCheck', + year: 2021, month: 9, day: 7 + }, { name: 'Cloogle search overview', year: 2021, month: 8, day: 2 }, |