diff options
Diffstat (limited to 'minishell_test/result_config.cfg')
| -rw-r--r-- | minishell_test/result_config.cfg | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/minishell_test/result_config.cfg b/minishell_test/result_config.cfg deleted file mode 100644 index aac2388..0000000 --- a/minishell_test/result_config.cfg +++ /dev/null @@ -1,23 +0,0 @@ -[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 - |