make_recursion_case function

Construct a test for a case in the recursion

  • Maintainer: Thomas Mailund
  • License: GPL-3
  • Last published: 2019-12-09