Skip to content
  • Bentriou Mahmoud's avatar
    Test of distance G automaton passes! · f4c41acb
    Bentriou Mahmoud authored
    The two Cosmos tests checks the statistical correctness of estimated
    distance value for R1,R2,R3,R5 experiments. Also, they test that all
    trajectories are accepted.
    
    A bunch of errors were fixed in automata files (Cosmos .lha and julia
    ./automata files) and simulation function that introduced statistical
    bias, i.e. approximated values that were closed but not in the
    confidence interval. The general structure of simulation and was
    reworked in order to suits well te behavior of Cosmos.
    f4c41acb