diff --git a/configurations.yml b/configurations.yml index e284295a8..31bfa6e0f 100644 --- a/configurations.yml +++ b/configurations.yml @@ -2,6 +2,7 @@ options: basics: &basics - "--stats" - "--verbose" + - "--print-call" fastDownwardPreprocessing: &fastDownwardPreprocessing - "--translate" plannerSequential: &plannerSequential