text: // Test definitions. Do NOT edit this file!
  
  #include <tuple>
  
  #define CATCH_CONFIG_MAIN // defines main() automatically
  #include "catch.hpp"
  
  #include "student.hpp" // student implementations
  
  // =====================
  // tests for exercise 1
  // ---------------------
  
  TEST_CASE("Ex1", "[example]")
  {
      REQUIRE(fact(5) == 120);
  }
  
  // =====================
  // tests for exercise 2
  // ---------------------
  
  TEST_CASE("Ex2", "[example]")
  {
      REQUIRE(mul(3,3) == 9);
  }
  
  