dmeoli / PBeFS / 39132120164

95%

push

github

PA*SE checks a candidate only against the states of smaller f, and looks for one among the first 64 states of OPEN

As in the definition of safety of Phillips et al., a state has to be
independent of BE and of the states of OPEN with a smaller f, not of
those of equal f; and the search of a safe state stops after 64 states,
since each further candidate would be checked against a growing part of
OPEN under the lock. With 8 workers on the 8-puzzle the scan of the whole
OPEN at every wake-up made the case pase-thread take minutes, and time
out in the coverage job of the CI.

6 of 6 new or added lines in 1 file covered. (100.0%)

2451 of 2638 relevant lines covered (92.91%)

25933000.52 hits per line