Commit History

add timeout and decrease number of test prompts
62aca87

nathanael-fijalkow commited on