anon-iclr-submission/benchname-bug-localization huggingface dataset:
Repository: serg-delft/andy
Issue: Assessing time message phrasing is incorrect

https://github.com/cse1110/andy/blob/4e53516cc38247149e281646700dd116d8167323/src/main/java/nl/tudelft/cse1110/andy/writer/standard/StandardResultWriter.java#L194

The word `question` should be replaced with `solution`.

Changed files:
src/main/java/nl/tudelft/cse1110/andy/writer/standard/StandardResultWriter.java

diff --git a/src/main/java/nl/tudelft/cse1110/andy/writer/standard/StandardResultWriter.java b/src/main/java/nl/tudelft/cse1110/andy/writer/standard/StandardResultWriter.java
index cad447d..52c9b6d 100644
--- a/src/main/java/nl/tudelft/cse1110/andy/writer/standard/StandardResultWriter.java
+++ b/src/main/java/nl/tudelft/cse1110/andy/writer/standard/StandardResultWriter.java
@@ -191,7 +191,7 @@ public class StandardResultWriter implements ResultWriter {
         if(modeActionSelector(ctx)!=null)
             l(String.format("\\nAndy is running in %s mode and took %.1f seconds to assess your solution.", modeActionSelector(ctx).getMode().toString(), timeInSeconds));
         else
-            l(String.format("\\nAndy took %.1f seconds to assess your question.", timeInSeconds));
+            l(String.format("\\nAndy took %.1f seconds to assess your solution.", timeInSeconds));
     }
 
     private void printMetaTestResults(Context ctx, MetaTestsResult metaTests) {
Repository: serg-delft/andy
Issue: `assertNull` is not considered an assertion by code check

`assertNull` is not considered an assertion by the TestMethodsHaveAssertions code check: https://github.com/cse1110/andy/blob/main/src/main/java/nl/tudelft/cse1110/andy/codechecker/checks/TestMethodsHaveAssertions.java

This assertion method as well as other JUnit methods that have been missed should be added to this code check.

Changed files:
src/main/java/nl/tudelft/cse1110/andy/codechecker/checks/TestMethodsHaveAssertions.java

diff --git a/src/main/java/nl/tudelft/cse1110/andy/codechecker/checks/TestMethodsHaveAssertions.java b/src/main/java/nl/tudelft/cse1110/andy/codechecker/checks/TestMethodsHaveAssertions.java
index 76fa129..06db6b4 100644
--- a/src/main/java/nl/tudelft/cse1110/andy/codechecker/checks/TestMethodsHaveAssertions.java
+++ b/src/main/java/nl/tudelft/cse1110/andy/codechecker/checks/TestMethodsHaveAssertions.java
@@ -35,6 +35,14 @@ public class TestMethodsHaveAssertions extends WithinTestMethod {
         add("assertTrue");
         add("assertFalse");
         add("assertThrows");
+        add("assertNull");
+        add("assertArrayEquals");
+        add("assertDoesNotThrow");
+        add("assertIterableEquals");
+        add("assertLinesMatch");
+        add("assertNotNull");
+        add("assertNotSame");
+        add("assertSame");
 
         // assertj
         add("assertThat");
Repository: serg-delft/andy
Issue: Overload Andy constructor

Overload the Andy constructor in order to preserve backward compatibility after the changes introduced in #70 as those changes break the Maven plugin

Changed files:
src/main/java/nl/tudelft/cse1110/andy/Andy.java, src/main/java/nl/tudelft/cse1110/andy/writer/weblab/SubmissionMetaData.java

diff --git a/src/main/java/nl/tudelft/cse1110/andy/Andy.java b/src/main/java/nl/tudelft/cse1110/andy/Andy.java
index 1aaef12..342db50 100644
--- a/src/main/java/nl/tudelft/cse1110/andy/Andy.java
+++ b/src/main/java/nl/tudelft/cse1110/andy/Andy.java
@@ -33,10 +33,18 @@ public class Andy {
         this.metaData = metaData;
     }
 
+    public Andy(Action action, String workDir, String outputDir, List<String> librariesToBeIncluded, ResultWriter writer) {
+        this(action, workDir, outputDir, librariesToBeIncluded, writer, SubmissionMetaData.empty());
+    }
+
     public Andy(Action action, String workDir, String outputDir, ResultWriter writer, SubmissionMetaData metaData) {
         this(action, workDir, outputDir, null, writer, metaData);
     }
 
+    public Andy(Action action, String workDir, String outputDir, ResultWriter writer) {
+        this(action, workDir, outputDir, null, writer);
+    }
+
     public void run() {
         Context ctx = buildContext();
 
diff --git a/src/main/java/nl/tudelft/cse1110/andy/writer/weblab/SubmissionMetaData.java b/src/main/java/nl/tudelft/cse1110/andy/writer/weblab/SubmissionMetaData.java
index f25a358..5eb64de 100644
--- a/src/main/java/nl/tudelft/cse1110/andy/writer/weblab/SubmissionMetaData.java
+++ b/src/main/java/nl/tudelft/cse1110/andy/writer/weblab/SubmissionMetaData.java
@@ -10,4 +10,8 @@ public class SubmissionMetaData {
         this.studentId = studentId;
         this.exercise = exercise;
     }
+
+    public static SubmissionMetaData empty() {
+        return new SubmissionMetaData(null, null, null);
+    }
 }
\\ No newline at end of file