mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-05-05 14:55:47 +00:00
Code Activity

Cleanup

Browse source
This commit is contained in:
Akash Levy 2025-02-14 08:48:27 -08:00
parent f76fd9280b
commit fd811ddaee
23 changed files with 39 additions and 126 deletions
Download patch file Download diff file Expand all files Collapse all files

4
frontends/verific/verific.cc
View file

@ -4564,10 +4564,8 @@ struct ReadPass : public Pass {
args[0] = "verific";
} else {
args[0] = "read_verilog";
if (args[1] == "-formal") {
if (args[1] == "-formal")
args.insert(args.begin()+1, std::string());
RuntimeFlags::SetVar("veri_ignore_assertion_statements", 0);
}
args[1] = "-sv";
args.insert(args.begin()+1, "-defer");
}