luke/verilator
1
0
Fork 0
mirror of https://github.com/verilator/verilator.git synced 2026-09-03 06:53:38 +02:00
Code Issues Packages Projects Releases Wiki Activity

Tests: Skip t_constraint_state when no solver is installed (#5224)

Browse Source
This commit is contained in:
Geza Lore
2024-07-04 11:42:53 +01:00
committed by GitHub
parent ca4858eb7f
commit dace2c0a9a
1 changed files with 9 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test_regress/t/t_constraint_state.pl
+9 -6
View File
@@ -10,13 +10,16 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di
scenarios(simulator => 1);
compile(
);
execute(
check_finished => 1,
);
if (!$Self->have_solver) {
skip("No constraint solver installed");
} else {
compile(
);
execute(
check_finished => 1,
);
}
ok(1);
1;