1 parent bc6c027 commit 01056c7Copy full SHA for 01056c7
1 file changed
tutorial-data.js
@@ -137,7 +137,7 @@ public class BinarySearch {
137
}`,
138
checks: [
139
{
140
- pattern: "@Refinement\\s*\\(\\s*\"_\\s*>=\\s*low\\s*&&\\s*_\\s*<=\\s*high\"\\s*\\)\\s*public\\s+static\\s+int\\s+midpoint",
+ pattern: "@Refinement\\s*\\(\\s*\"(?:_\\s*>=\\s*low|low\\s*<=\\s*_)\\s*&&\\s*_\\s*<=\\s*high\"\\s*\\)\\s*public\\s+static\\s+int\\s+midpoint",
141
message: "Refine the return value so it stays between low and high.",
142
},
143
0 commit comments