diff options
| author | jvoisin | 2020-11-29 19:37:49 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-29 18:37:49 +0000 |
| commit | 5be9082f148ab546a0317a28ef5267bb797feb53 (patch) | |
| tree | 60461e4365ac69434a5529c6efa10faefc63f39f /src/tests/disable_function/config | |
| parent | 83b631a183c1df4233438459cb3386b715e4f2b3 (diff) | |
Make the `>` operator skip over functions
Diffstat (limited to 'src/tests/disable_function/config')
| -rw-r--r-- | src/tests/disable_function/config/config_disabled_functions_chain_call_skip.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tests/disable_function/config/config_disabled_functions_chain_call_skip.ini b/src/tests/disable_function/config/config_disabled_functions_chain_call_skip.ini new file mode 100644 index 0000000..4d2f68d --- /dev/null +++ b/src/tests/disable_function/config/config_disabled_functions_chain_call_skip.ini | |||
| @@ -0,0 +1 @@ | |||
| sp.disable_function.function("a>c").simulation().drop(); | |||