make it stronger

このコミットが含まれているのは:
woosh 2023-11-16 09:24:42 +00:00
コミット c4c4c417c0
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 9
#define UT_RTURNS 18
int ut_rollout(const struct ut_state *state)
{
// memoization