Skip to content

Vulcan #200

@github-actions

Description

@github-actions

This issue is generated by Vulcan for commit: 4ade7cf

Coverage: 100.00 percent

Click here for a list of target sources

test.c

example.c

There is(are) 1/7 failed test(s)

Click here for the failed test commands
  1. [FAILED] bash -c "./test 6"

Click here for FL information

Clicking on the link, you take the page with code highlighted.

  • Here is most suspicious code piece.
    printf("FAILED\n");

    Recommend debugging here.
    Click below the collapsed section for more FL information.
Click here for more FL

Suspicious score: 1.00

printf("fix here\n");


Suspicious score: 0.50

} else if (x > z) {


Suspicious score: 0.33

if (x > y) {


Suspicious score: 0.14

int main(int argc, char *argv[]) {


49 patch(es) generaetd by vulcan

plausible patch diff info
--- __backup0	2022-05-31 01:33:50.478711420 +0000
+++ example.c	2022-05-31 01:34:13.991099651 +0000
@@ -11,9 +11,10 @@
     } else {
         if (x > y) {
             ret = y;
-        } else if (x > z) {
+        } else { ret = x;
+if (x > z) {
             printf("fix here\n");
         }
-    }
+    }}
     return ret;
-}
\ No newline at end of file
+}

--- __backup1	2022-05-31 01:33:50.482711486 +0000
+++ test.c	2022-05-31 01:34:13.987099585 +0000
@@ -27,5 +27,6 @@
     } else {
         printf("FAILED\n");
     }
+    if (!(test_index > 5))
     return actual_output == expected_output[test_index] ? 0 : 1;
-}
\ No newline at end of file
+}

--- __backup0	2022-05-31 01:33:50.478711420 +0000
+++ example.c	2022-05-31 01:34:13.971099322 +0000
@@ -9,11 +9,11 @@
             ret = x;
         }
     } else {
-        if (x > y) {
-            ret = y;
-        } else if (x > z) {
-            printf("fix here\n");
-        }
+        if ((x > y) || (1)) {
+    ret = y;
+} else if (x > z) {
+    printf("fix here\n");
+}
     }
     return ret;
-}
\ No newline at end of file
+}

--- __backup0	2022-05-31 01:33:50.478711420 +0000
+++ example.c	2022-05-31 01:34:13.995099717 +0000
@@ -11,9 +11,10 @@
     } else {
         if (x > y) {
             ret = y;
-        } else if (x > z) {
+        } else { ret = y;
+if (x > z) {
             printf("fix here\n");
         }
-    }
+    }}
     return ret;
-}
\ No newline at end of file
+}

--- __backup1	2022-05-31 01:33:50.482711486 +0000
+++ test.c	2022-05-31 01:34:13.991099651 +0000
@@ -27,5 +27,6 @@
     } else {
         printf("FAILED\n");
     }
+    if (!(actual_output == 3))
     return actual_output == expected_output[test_index] ? 0 : 1;
-}
\ No newline at end of file
+}

--- __backup0	2022-05-31 01:33:50.478711420 +0000
+++ example.c	2022-05-31 01:34:13.955099059 +0000
@@ -9,11 +9,12 @@
             ret = x;
         }
     } else {
-        if (x > y) {
+      ret = (x);
+if (x > y) {
             ret = y;
         } else if (x > z) {
             printf("fix here\n");
         }
     }
     return ret;
-}
\ No newline at end of file
+}

--- __backup0	2022-05-31 01:33:50.478711420 +0000
+++ example.c	2022-05-31 01:34:13.951098993 +0000
@@ -12,8 +12,9 @@
         if (x > y) {
             ret = y;
         } else if (x > z) {
-            printf("fix here\n");
+          ret = (y);
+printf("fix here\n");
         }
     }
     return ret;
-}
\ No newline at end of file
+}

--- __backup1	2022-05-31 01:33:50.482711486 +0000
+++ test.c	2022-05-31 01:34:13.991099651 +0000
@@ -27,5 +27,6 @@
     } else {
         printf("FAILED\n");
     }
+    if (!(1))
     return actual_output == expected_output[test_index] ? 0 : 1;
-}
\ No newline at end of file
+}

--- __backup1	2022-05-31 01:33:50.482711486 +0000
+++ test.c	2022-05-31 01:34:13.987099585 +0000
@@ -27,5 +27,6 @@
     } else {
         printf("FAILED\n");
     }
-    return actual_output == expected_output[test_index] ? 0 : 1;
-}
\ No newline at end of file
+  if ((test_index > 4))
+    return 0;return actual_output == expected_output[test_index] ? 0 : 1;
+}

--- __backup1	2022-05-31 01:33:50.482711486 +0000
+++ test.c	2022-05-31 01:34:13.983099520 +0000
@@ -22,10 +22,11 @@
     int test_index = atoi(argv[1]);
     int actual_output = mid(input[test_index][0], input[test_index][1], input[test_index][2]);
     printf("actual %d, expected %d\n", actual_output, expected_output[test_index]);
-    if (actual_output == expected_output[test_index]) {
+  if ((1))
+    return 0;if (actual_output == expected_output[test_index]) {
         printf("PASSED\n");
     } else {
         printf("FAILED\n");
     }
     return actual_output == expected_output[test_index] ? 0 : 1;
-}
\ No newline at end of file
+}

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions