Tests: Skip t_randomize_method_constraints when no solver is installed (#5260)

This commit is contained in:
Geza Lore
2024-07-13 08:31:16 -04:00
committed by GitHub
parent 25f5db4b5f
commit 4cf017d7fe
+11 -7
View File
@@ -10,14 +10,18 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di
scenarios(simulator => 1);
compile(
# Ensure we test captures of static variables
verilator_flags2 => ["--fno-inline"],
);
if (!$Self->have_solver) {
skip("No constraint solver installed");
} else {
compile(
# Ensure we test captures of static variables
verilator_flags2 => ["--fno-inline"],
);
execute(
check_finished => 1,
);
execute(
check_finished => 1,
);
}
ok(1);
1;