Как я могу выполнить модульный тест для переполнения стека в моей факториальной функции?

Question

Я сделал факториальную функцию в Racket, которая должна быть проверена модулем для передачи проходящего очень большого числа, которое могло бы перехватить исключение переполнения. Если исключение поймано, тест должен пройти, и наоборот. Вот мой код.

#lang racket 

(provide recursive_factorial) 
(provide tail_factorial) 


(define (recursive_factorial number) 
(cond [(= 0 number) 1] 
     [(negative? number) (raise-argument-error 'recursive_factorial "negative?" number)] 
     [(* number (recursive_factorial (- number 1)))])) 


(define (tail_factorial number accumulator) 

(cond[(= number 0) accumulator] 
     [(negative? number) accumulator (raise-argument-error 'tail_factorial "negative?" number accumulator)] 
     [(tail_factorial (- number 1) (* accumulator number))] 
    )) 

И вот моя попытка проверить его.

(check-not-exn (λ() (recursive_factorial(100000000)))"stack overflow") 
(check-not-exn (λ() (tail_factorial(100000000)))"stack overflow") 

С большой помощью я смог получить отрицательное состояние для работы. Любая помощь приветствуется.

Answer 1

Ваша функция возвращает -1, когда number отрицательный. Так не должно быть испытание:

(check-equal? (recursive_factorial -4) -1) 

UPDATE

Как насчет:

#lang racket 
(provide recursive_factorial) 
(define (recursive_factorial number) 
    (cond [(= 0 number)  1] 
     [(negative? number) (error 'recursive_factorial 
            "Cannot pass a negative number")] 
     [else    (* number (recursive_factorial (- number 1)))]))