From 4e51af1167ccba5f7b423f809db807d95b5686ed Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 11 Feb 2025 22:05:19 -0800
Subject: [PATCH] update instructions
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
genaisrc/mycop.genai.mts | 21 +++++++++++++++++++--
1 file changed, 19 insertions(+), 2 deletions(-)
diff --git a/genaisrc/mycop.genai.mts b/genaisrc/mycop.genai.mts
index 6cd1368e0..8330267fe 100644
--- a/genaisrc/mycop.genai.mts
+++ b/genaisrc/mycop.genai.mts
@@ -47,12 +47,29 @@ async function invokeLLMUpdate(code, inputFile) {
For example:
{ break; }
by
- break;
+ break;
+ for example replace:
+ else {
+ result = 0;
+ }
+ by
+ else
+ result = 0;
+ for example replace:
+ if (a) {
+ result = 0;
+ }
+ by
+ if (a)
+ result = 0;
+ - start else statements on a new line.
- replaces uses of for loops using begin(), end() iterator patterns by C++21 style for loops
For example replace
for (auto it = x.begin(), end = x.end(); it != end; ++it)
by
- for (auto & e : x)
+ for (auto e : x)
+ or
+ for (auto const& e : x)
For example, replace
for (unsigned i = 0; i < a->get_num_args(); ++i) {