From 2c10486e81fc2bcd0d628a1d64b079f910bcd33b Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 4 Oct 2023 13:14:58 +0000 Subject: [PATCH] Sync changes --- kani-driver/src/concrete_playback/test_generator.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/kani-driver/src/concrete_playback/test_generator.rs b/kani-driver/src/concrete_playback/test_generator.rs index ccaf5e684691..492369fb32eb 100644 --- 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"); }