Agora estamos prontos para escrever nosso teste:
Se executarmos o teste, obtemos uma falha junto com um traço da execução:
A fruta segue Semver.A menos que você declare explicitamente o contrário, qualquer contribuição intencionalmente enviada para inclusão no linchect por você, será licenciada como MIT, sem termos ou condições adicionais.Simplificando, ele verifica se uma estrutura de dados simultânea se comporta de maneira semelhante a uma implementação seqüencial mais simples.Isso ocorre porque a especificação simultânea é compartilhada entre os threads enquanto a especificação seqüencial não é.
O lincheck é uma biblioteca de rust para testar estruturas de dados simultâneas quanto à linearização.
