search

PolyProcessInterface / ppi

2 stars 2 forks source link

Tests plus poussés des invariants #22

Closed n-peugnet closed 4 years ago

n-peugnet commented 4 years ago

Invariants des algos pour chaque test.

Et pour peersim seulement

Invariants d'ordre des evenements

max0218 commented 4 years ago

Invariants des algos pour chaque test c'est à dire que pour chaque test on choisit des invariants et on vérifie qu'ils sont respectés pour plusieurs seed ? Genre le dernier message d'un algo de Ring revient bien vers le node 0 ou des choses comme ça ?

n-peugnet commented 4 years ago

Exactement

max0218 commented 4 years ago

Bon j'ai créé une branche pour essayer ça, j'ai testé en indiquant simulation.experiments à 2 dans le fichier de config de peersim pour ne pas avoir l'exception de double instanciation de la configuration. Et donc la deuxième simulation se lance mais n'éxécute rien..

n-peugnet commented 4 years ago

bon du coup ça c'est fait