diff options
| author | Ben Fuhrmannek | 2021-02-16 11:16:59 +0100 |
|---|---|---|
| committer | Ben Fuhrmannek | 2021-02-16 11:16:59 +0100 |
| commit | 5484bcb5eb2714e7438927e2566c86a74d7c51af (patch) | |
| tree | b78326d2999397be4c08e06b23209981f82a4ea9 /src/tests/dump_request/config/dump_request.ini | |
| parent | 7ac1e3866ef4f146c6c93a5ca13b9aebb14e936a (diff) | |
| parent | cecfdd808da67be908dbe7144cc8c74dfb3f855e (diff) | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'src/tests/dump_request/config/dump_request.ini')
| -rw-r--r-- | src/tests/dump_request/config/dump_request.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tests/dump_request/config/dump_request.ini b/src/tests/dump_request/config/dump_request.ini index 974601d..734b718 100644 --- a/src/tests/dump_request/config/dump_request.ini +++ b/src/tests/dump_request/config/dump_request.ini | |||
| @@ -1 +1,2 @@ | |||
| 1 | sp.disable_function.function("system").drop().dump("/tmp/dump_result/").simulation(); | 1 | sp.disable_function.function("system").drop().dump("/tmp/dump_result/").simulation(); |
| 2 | sp.disable_function.function("a").drop().dump("/tmp/dump_result/").simulation(); | ||