Improve prompts a bit

JetBrains-Research · Sep 25, 2024 · a98556a · a98556a
1 parent 8348140
commit a98556a
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/prompts/humaneval-dafny-cot/steps/002/examples/001/question.txt b/prompts/humaneval-dafny-cot/steps/002/examples/001/question.txt
@@ -1,5 +1,5 @@
 Now we are finished with the specifications. Let's move onto the loops.
-Given the following program, for each function, determine if it has loops. If it does, try to determine what the loop does in detail.
+Given the following program, for each function, determine if it has loops. If it does, try to determine what the loop does in detail. Go through all your thinking and reasoning process step by step.
 ```dafny
 function sum(s: seq<int>) : int {
     if |s| == 0 then 0 else s[0] + sum(s[1..])

diff --git a/prompts/humaneval-dafny-cot/steps/002/question.txt b/prompts/humaneval-dafny-cot/steps/002/question.txt
@@ -1,4 +1,4 @@
-Given the following program, for each function, determine if it has loops. If it does, try to determine what the loop does in detail.
+Given the following program, for each function, determine if it has loops. If it does, try to determine what the loop does in detail. Go through all your thinking and reasoning process step by step.
 ```dafny
 {program}
 ```
diff --git a/prompts/humaneval-dafny-cot/steps/003/001/question.txt b/prompts/humaneval-dafny-cot/steps/003/001/question.txt
@@ -1,4 +1,4 @@
-As we've already analyzed the specifications and the loops, it's time to try to analyze what invariants and patterns hold during the execution of the program. Go over the found loops in the following program in the code and try to find out what invariants and patterns they hold.
+As we've already analyzed the specifications and the loops, it's time to try to analyze what invariants and patterns hold during the execution of the program. Go over the found loops in the following program in the code and try to find out what invariants and patterns they hold. Go through all your thinking and reasoning process step by step.
 ```dafny
 function sum(s: seq<int>) : int {
     if |s| == 0 then 0 else s[0] + sum(s[1..])

diff --git a/prompts/humaneval-dafny-cot/steps/003/question.txt b/prompts/humaneval-dafny-cot/steps/003/question.txt
@@ -1,4 +1,4 @@
-As we've already analyzed the specifications and the loops, it's time to try to analyze what invariants and patterns hold during the execution of the program. Go over the found loops in the following program in the code and try to find out what invariants and patterns they hold.
+As we've already analyzed the specifications and the loops, it's time to try to analyze what invariants and patterns hold during the execution of the program. Go over the found loops in the following program in the code and try to find out what invariants and patterns they hold. Go through all your thinking and reasoning process step by step.
 ```dafny
 {program}
 ```