Quelle est la différence entre Ctrl-C et SIGINT?

J'ai débogué un programme Python qui segfaults après avoir reçu une exception KeyboardInterrupt. Cela se fait normalement en appuyant sur Ctrl + C depuis le shell. Pour tester si un changement de code particulier a corrigé le bug, j'ai eu un petit script shell qui a envoyé SIGINT au programme au hasard après le démarrage. Le problème que j'ai est que l'envoi de Ctrl + C semble avoir un effet différent sur le programme que l'envoi du signal SIGINT et ne provoque donc pas l'apparition du bug, donc je je me demande Quelle est la différence entre les deux actions.

Le programme n'attrape aucune action du clavier, et n'est qu'un programme python avec quelques threads / processus. Il n'installe aucun gestionnaire de signal (bien que Python le fasse), et stty -a donne intr = ^C. Je soupçonne que Ctrl + C envoie SIGINT à tous les sous-processus/threads tandis que kill -INT envoie seulement au processus principal, mais c'est aussi loin que mes soupçons vont.

Voici le script shell qui envoie le kill -INT.

wait
while :; do
    seconds="$(python -c 'import random; print random.random()*4')"
    ./mandos --debug --configdir=confdir 
             --statedir=statedir --no-restore --no-dbus &
    pid=$!
    { sleep $seconds; kill -INT $pid; } &
    fg %./mandos
    status=$?
    if [ $status -gt 1 ]; then
        echo "Failed exit $status after $seconds seconds"
        break
    fi
    wait
done