diff options
| author | jvoisin | 2017-12-01 17:59:07 +0100 |
|---|---|---|
| committer | jvoisin | 2017-12-01 17:59:07 +0100 |
| commit | 424845a6938ffa9fba850b2285e2ab4ce60c89d0 (patch) | |
| tree | fac7acba8385fe16e662ce37754aed57d646a526 /src/tests/config | |
| parent | 86dac0e21cb9547ce1544539bb0f2c2f73ca5f73 (diff) | |
Add a test that used to segfault
Diffstat (limited to 'src/tests/config')
| -rw-r--r-- | src/tests/config/config_dump_segfault1.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tests/config/config_dump_segfault1.ini b/src/tests/config/config_dump_segfault1.ini new file mode 100644 index 0000000..5db57a4 --- /dev/null +++ b/src/tests/config/config_dump_segfault1.ini | |||
| @@ -0,0 +1 @@ | |||
| sp.disable_function.function("strpos").ret("0").drop().alias("test").dump("/tmp/dump_results/"); | |||