diff options
Diffstat (limited to 'minishell_test/result_config.cfg')
| -rw-r--r-- | minishell_test/result_config.cfg | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/minishell_test/result_config.cfg b/minishell_test/result_config.cfg new file mode 100644 index 0000000..aac2388 --- /dev/null +++ b/minishell_test/result_config.cfg @@ -0,0 +1,23 @@ +[minishell_test] +bonus = true + +[shell] +available_commands = + rmdir + env + cat + touch + ls + grep + sh + head +path_variable = /home/cacharles/.cache/minishell_test/bin + +[reference] +path = /bin/bash +args = [] + +[timeout] +test = 0.5 +leaks = 10 + |