Skip to content

CrossdiskRenameMutator() without deltas in program that checks for condition #153

Description

@marcrepo

The following code tests for a bad system call (generated by CrossdiskRenameMutator) return value but crashsim output stated "finished replay without deltas"

int main() {
      int res = rename("test/test.txt", "test/test2.txt");
      if (res<0){
           puts("Unable to rename across devices");
           exit(EXIT_FAILURE);
       }
       return 0;
}

The following crashsim command line was used to execute the above code. The file test/test.txt was created prior to execution of the command line - so the initial (no system call changes) rr execution would run without errors.

crashsim correctrename --command="correctRename" --mutator="CrossdiskRenameMutator()"

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions