diff options
Diffstat (limited to 'opendc-experiments/opendc-experiments-serverless20/src/main/resources')
| -rw-r--r-- | opendc-experiments/opendc-experiments-serverless20/src/main/resources/application.conf | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/opendc-experiments/opendc-experiments-serverless20/src/main/resources/application.conf b/opendc-experiments/opendc-experiments-serverless20/src/main/resources/application.conf new file mode 100644 index 00000000..a065c5d6 --- /dev/null +++ b/opendc-experiments/opendc-experiments-serverless20/src/main/resources/application.conf @@ -0,0 +1,8 @@ +# Default configuration for the serverless experiments +opendc.experiments.serverless20 { + # Path to the directory containing the serverless trace + trace-path = input/traces/serverless + + # Path to the output directory to write the results to + output-path = output +} |