diff options
| author | jvoisin | 2021-01-01 17:20:59 +0100 |
|---|---|---|
| committer | jvoisin | 2021-01-02 17:02:11 +0100 |
| commit | 0245273cb946b341fc0d62cd27817e72d654a6bc (patch) | |
| tree | bc4732ba89cd8f7d8f9ff6b2999558442470bf73 /src/tests/dump_request/config | |
| parent | c4dac996dea5c3cb80247d3119903d6a6491fcc1 (diff) | |
Add stacktraces to dumps
Diffstat (limited to 'src/tests/dump_request/config')
| -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(); | ||