`noexecute` is actually called `no_run`.
//!
//! model-based testing:
//!
-//! ```rust,noexecute
+//! ```rust,no_run
//! #[macro_use]
//! extern crate model;
//! #[macro_use]
//!
//! linearizability testing:
//!
-//! ```rust,noexecute
+//! ```rust,no_run
//! #[macro_use]
//! extern crate model;
//! #[macro_use]
