Skip to content

Commit dccf001

Browse files
committed
Disable most UB checks by default
1 parent ba29556 commit dccf001

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

difftest/src/main.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -38,9 +38,9 @@ fn main() -> ExitCode {
3838
}
3939

4040
if let Ok(miri_dir) = settings.get_string("miri_dir") {
41-
let check_ub = !settings
41+
let check_ub = settings
4242
.get_string("miri_check_ub")
43-
.is_ok_and(|config| config == "false" || config == "0");
43+
.is_ok_and(|config| config == "true" || config == "1");
4444
let miri = Miri::from_repo(miri_dir, check_ub);
4545
match miri {
4646
Ok(miri) if check_ub => backends.insert("miri-checked", Box::new(miri)),

0 commit comments

Comments
 (0)