diff --git a/configures/saver/flex-1.json b/configures/saver/flex-1.json index 83516e1..ab1a276 100644 --- a/configures/saver/flex-1.json +++ b/configures/saver/flex-1.json @@ -5,4 +5,4 @@ "build_args": { "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/c:flex-1" } -} +} \ No newline at end of file diff --git a/configures/saver/flint-1.json b/configures/saver/flint-1.json index 7543638..c4d2d50 100644 --- a/configures/saver/flint-1.json +++ b/configures/saver/flint-1.json @@ -5,4 +5,4 @@ "build_args": { "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/c:flint-1" } -} +} \ No newline at end of file diff --git a/context/saver/starlab-benchmarks/scripts/bootstrap.py b/context/saver/starlab-benchmarks/scripts/bootstrap.py index bbe030f..e2bf8f2 100644 --- a/context/saver/starlab-benchmarks/scripts/bootstrap.py +++ b/context/saver/starlab-benchmarks/scripts/bootstrap.py @@ -48,7 +48,7 @@ def make_effect(event, effect, reference_depth): apispec = [] for kind, spec in metadata["api"].items(): api = { - "resource-type": kind, + "resource_type": kind, "allocators": [], "deallocators": [], }