Skip to content

Commit eeb2a17

Browse files
committed
Auto merge of #151409 - GuillaumeGomez:rollup-bDqwVwM, r=GuillaumeGomez
Rollup of 6 pull requests Successful merges: - rust-lang/rust#147611 (Stabilize `-Zremap-path-scope`) - rust-lang/rust#149058 (FCW Lint when using an ambiguously glob imported trait) - rust-lang/rust#149644 (Create x86_64-unknown-linux-gnuasan target which enables ASAN by default) - rust-lang/rust#150524 (Test that -Zbuild-std=core works on a variety of profiles) - rust-lang/rust#151394 (Fix typos: 'occured' -> 'occurred' and 'non_existant' -> 'non_existent') - rust-lang/rust#151396 (`rustc_queries!`: Don't push the `(cache)` modifier twice) r? @ghost
2 parents 096264e + 245e7bd commit eeb2a17

3 files changed

Lines changed: 3 additions & 3 deletions

File tree

genmc-sys/cpp/include/MiriInterface.hpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -79,7 +79,7 @@ struct MiriGenmcShim : private GenMCDriver {
7979
void handle_execution_start();
8080
// This function must be called at the end of any execution, even if an error was found
8181
// during the execution.
82-
// Returns `null`, or a string containing an error message if an error occured.
82+
// Returns `null`, or a string containing an error message if an error occurred.
8383
std::unique_ptr<std::string> handle_execution_end();
8484

8585
/***** Functions for handling events encountered during program execution. *****/

genmc-sys/src/lib.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -379,7 +379,7 @@ mod ffi {
379379
/// This function must be called at the start of any execution, before any events are reported to GenMC.
380380
fn handle_execution_start(self: Pin<&mut MiriGenmcShim>);
381381
/// This function must be called at the end of any execution, even if an error was found during the execution.
382-
/// Returns `null`, or a string containing an error message if an error occured.
382+
/// Returns `null`, or a string containing an error message if an error occurred.
383383
fn handle_execution_end(self: Pin<&mut MiriGenmcShim>) -> UniquePtr<CxxString>;
384384

385385
/***** Functions for handling events encountered during program execution. *****/

src/concurrency/genmc/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -220,7 +220,7 @@ impl GenmcCtx {
220220
/// Don't call this function if an error was found.
221221
///
222222
/// GenMC detects certain errors only when the execution ends.
223-
/// If an error occured, a string containing a short error description is returned.
223+
/// If an error occurred, a string containing a short error description is returned.
224224
///
225225
/// GenMC currently doesn't return an error in all cases immediately when one happens.
226226
/// This function will also check for those, and return their error description.

0 commit comments

Comments
 (0)