diff --git a/passes/cmds/check.cc b/passes/cmds/check.cc index 07d02b492..99e81c549 100644 --- a/passes/cmds/check.cc +++ b/passes/cmds/check.cc @@ -86,6 +86,8 @@ struct CheckPass : public Pass { bool force_detailed_loop_check = false; bool suggest_detail = false; Mode mode = Mode::Smart; + if (design->scratchpad_get_bool("check.permissive")) + mode = Mode::Permissive; // log_error always terminates and it's a huge hassle to refactor std::vector errors; std::function bad = [&errors, &counter](std::string message) { diff --git a/tests/various/dynamic_part_select.ys b/tests/various/dynamic_part_select.ys index 9e303b9db..3037fdfdc 100644 --- a/tests/various/dynamic_part_select.ys +++ b/tests/various/dynamic_part_select.ys @@ -142,6 +142,7 @@ design -copy-from gate -as gate gate miter -equiv -make_assert -make_outcmp -flatten gold gate equiv sat -prove-asserts -show-public -verify -set-init-zero equiv +scratchpad -set check.permissive true ### ## Part select with obvious latch, expected to fail due comparison with old shift&mask AST transformation design -reset