Se você está se referindo ao site http://www.pythontutor.com/, o problema é que ele provavelmente está usando uma semente fixa no seu gerador de números aleatórios. Meu palpite é que isso está sendo feito para que os resultados sejam sempre determinísticos. Por azar, as duas primeiras chamadas de `random.randint(0,9)` retornaram o mesmo valor (`6`) para a semente utilizada (1 chance em 10 de acontecer, e aconteceu!) e por isso *pareceu* que o valor não foi sobrescrito, quando na verdade foi.

Experimente atribuir você mesmo uma semente para o `random`, e você deve ter resultados diferentes. No meu caso, consegui uma lista com 4 elementos usando:

    import random
    random.seed(10);
    
    list_num = []
    c = 0
    v = random.randint(0, 9)
    
    while c < 4 and v not in list_num:
        list_num.append(v)
        c += 1
        v = random.randint(0, 9)

Você sempre pode, é claro, usar o relógio como semente, para que a execução seja diferente toda vez.

E quanto ao problema original ("gerar uma lista de 4 números inteiros aleatórios que não se repetem"), esse código precisa ser adaptado, pois ele simplesmente está parando quando encontra o primeiro que se repete... Sugiro o seguinte: (**cuidado:** se o número de elementos que você pedir for maior que o número de elementos disponíveis, esse código vai entrar num loop infinito)

    while c < 4:
        while v in list_num:
            v = random.randint(0, 9)
        list_num.append(v)
        c += 1

Experimentei no python tutor sem usar semente alguma, e obtive `[6, 0, 4, 8]`.