README fixed

microsoft · Dec 28, 2023 · 84b36bd · 84b36bd
1 parent 1acfbcf
commit 84b36bd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -144,7 +144,7 @@ model: <model_name> # the LLM to use (currently gpt-4, gpt-4-32k, gpt-3.5-turbo,
 benchmarks: <path_to_benchmarks_file> # this file must contain the list of benchmarks to run, one file path per line
 benchmark_features: <features_of_the_benchmarks> # this string should indicate the features of the benchmarks under consideration. 
                                            # For e.g., "one_loop_one_method" describes benchmarks with a single loop and a single method.
-                                           # Other possible values are "multiple_methods_no_loop", "multiple_loops_one_method", "arrays_multiple_loops_one_method", "termination_one_loop_one_method".
+                                           # Other possible values are "multiple_methods_no_loops", "arrays_pointers_multiple_loops", "termination_one_loop_one_method".
                                            # (If "termination" is specified, variants will be inferred. If "multiple_methods" is specified, pre-post conditions will be inferred).
 debug: <debug_mode> # if true, the toolchain will print debug information
 ```

diff --git a/config/sample_config.yaml b/config/sample_config.yaml
@@ -2,5 +2,5 @@ checker: frama-c # only frama-c is supported for now, there is a boogie PoC
 checker_timeout: 3 # in seconds
 model: gpt-4-32k # gpt-4, gpt-3.5-turbo, codellama-34b-python
 benchmarks: experiments/loop_invariants.txt # list of benchmark files
-benchmark_features: one_loop_one_method # features include {one_loop, multiple_loops, one_method, multiple_methods, arrays, pointers, termination}
+benchmark_features: one_loop_one_method # features of the benchmark. Possible values: {one_loop_one_method, multiple_methods_no_loops, arrays_pointers_multiple_loops, termination_one_loop_one_method}
 debug: True # if True, prints debug information