sdc: Allow multiple entities in from/to

YosysHQ · Sep 26, 2024 · 0e848d4 · 0e848d4
1 parent e7f8ca5
commit 0e848d4
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/common/kernel/sdc.cc b/common/kernel/sdc.cc
@@ -477,13 +477,9 @@ struct SDCParser
  log_error("expecting SdcValue argument to -from (line %d)\n", lineno);
  }
 
- if (val.list.size() != 1) {
- log_error("Expected a single SdcEntity as argument to -to/-from (line %d)\n", lineno);
+ for (const auto &ety : val.list) {
+ sdc_into_path_constraint(ety, is_from, ct);
  }
-
- auto &ety = val.list.at(0);
-
- sdc_into_path_constraint(ety, is_from, ct);
  }
  }