Tester: Only upload to Refazer when the fixed code has been changed

db/init.sql

@@ -38,6 +38,7 @@ create table if not exists sessions (
 );
 
 create table if not exists queries (
+  id integer primary key,
   session_id integer not null,
   submission_id integer not null,
   fix_suggested boolean not null,

flaskr.py

@@ -37,6 +37,11 @@
 logger.addHandler(handler)
 handler.setFormatter(formatter)
 
+# Silence default request logger except for errors, to keep the command line clean for the
+# messages that we're logging for debugging purposes.
+log = logging.getLogger('werkzeug')
+log.setLevel(logging.ERROR)
+
 # Configure the database endpoint
 database_path = os.environ.get('FLASK_DATABASE_PATH', os.path.join(app.root_path, 'flaskr.db'))
 app.config.update(dict(
@@ -740,16 +745,26 @@ def synthesize():
     submission_id = request.form['submission_id']
     code_before = request.form['code_before']
     code_after = request.form['code_after']
-
-    thread_pool.submit(
-        upload_example, 
-        REFAZER_ENDPOINT + "/ApplyFixFromExample", {
-            'CodeBefore': code_before,
-            'CodeAfter': code_after,
-            'SessionId': session_id,
-            'QuestionId': question_number,
-            'SubmissionId': submission_id,
-        })
+    fix_suggested = True if request.form['fix_suggested'] == 'true' else False
+    fix_used = True if request.form['fix_used'] == 'true' else False
+    fix_changed = True if request.form['fix_changed'] == 'true' else False
+
+    # If a fix was used unchanged, then we expect we won't find a very useful
+    # new transformation from this fix (it might be very similar to what
+    # the fix suggested for this submission).  Only request Refazer
+    # to do new synthesis when the code has changed from the proposed fix.
+    if fix_suggested and fix_used and not fix_changed:
+        logger.info("Skipping call to Refazer.  This fix is similar to the recommended fix.")
+    else:
+        thread_pool.submit(
+            upload_example, 
+            REFAZER_ENDPOINT + "/ApplyFixFromExample", {
+                'CodeBefore': code_before,
+                'CodeAfter': code_after,
+                'SessionId': session_id,
+                'QuestionId': question_number,
+                'SubmissionId': submission_id,
+            })
 
     return jsonify({
         'success': True,

templates/show_editors.html

@@ -304,6 +304,9 @@ <h3 class='submission_header'>Student error detected.</h3>
                 question_number: {{ question_number }},
                 code_before: originalCode,
                 code_after: debuggedCode,
+                fix_suggested: fixSuggested,
+                fix_used: fixUsed,
+                fix_changed: fixChanged,
             });
         });
     });