Need to allow for one spare encoding for the non-executed case with no suitable stores.

[satcheck.git] / benchmarks / satcheck-precompiled / seqlock / .gitignore

log_file
logall
seqlock