Sync changes

tautschnig · Oct 4, 2023 · 2c10486 · 2c10486
1 parent 4cccf8a
commit 2c10486
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/kani-driver/src/concrete_playback/test_generator.rs b/kani-driver/src/concrete_playback/test_generator.rs
@@ -176,7 +176,9 @@ impl KaniSession {
  }
  }
 
- // Renames are usually automic, so we won't corrupt the user's source file during a crash.
+ // Renames are usually automic, so we won't corrupt the user's source file during a
+ // crash; but first flush all updates to disk, which persist wouldn't take care of.
+ temp_file.as_file().sync_all()?;
  temp_file.persist(source_path).expect("Could not rename file");
  }