uct_search() result cannot change: Check against worst.time instead of desired.time
[pachi.git] / t-play / 
tree014c7749ae9707702251f53da461c2df31a4ccf6
drwxr-xr-x   ..
-rw-r--r-- 25059 TESTS
drwxr-xr-x - autotest
-rwxr-xr-x 241 resum
-rwxr-xr-x 391 test_in_context.sh