1
0
mirror of synced 2026-02-11 19:04:33 +00:00

bugpoint: don't sort

This commit is contained in:
Emil J. Tywoniak
2025-09-02 18:22:03 +02:00
parent e11ea42af0
commit 68ad52c6ae

View File

@@ -122,8 +122,6 @@ struct BugpointPass : public Pass {
int run_yosys(RTLIL::Design *design, string runner, string yosys_cmd, string yosys_arg, string suffix, bool catch_err)
{
design->sort();
string bugpoint_file = "bugpoint-case";
if (suffix.size())
bugpoint_file += stringf(".%.8s", suffix);