ninya defeated

このコミットが含まれているのは:
woosh 2023-11-16 09:57:52 +00:00
コミット fd15dce7d4
1個のファイルの変更1行の追加1行の削除

2
uttt.c
ファイルの表示

@ -959,7 +959,7 @@ int ut_getValue(const struct ut_state *state, int *value)
}
#define UT_RDEPTH 2
#define UT_RTURNS 18
#define UT_RTURNS 36
int ut_rollout(const struct ut_state *state)
{
// memoization