16 lines
236 B
Rust
16 lines
236 B
Rust
#![feature(custom_attribute)]
|
|
#![allow(dead_code, unused_attributes)]
|
|
|
|
#[miri_run]
|
|
fn factorial_loop() -> i64 {
|
|
let mut product = 1;
|
|
let mut i = 1;
|
|
|
|
while i <= 10 {
|
|
product *= i;
|
|
i += 1;
|
|
}
|
|
|
|
product
|
|
}
|