mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-06 01:24:10 +00:00
Code Activity

aiger2: Adjust help

Browse source
This commit is contained in:
Martin Povišer 2024-10-05 18:12:29 +02:00
parent 81688e3ba2
commit ac79a052ba
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
backends/aiger2/aiger.cc
View file

@ -1300,7 +1300,7 @@ struct XAigerWriter : AigerWriter {
};
struct Aiger2Backend : Backend {
Aiger2Backend() : Backend("aiger2", "write design to AIGER file (new)")
Aiger2Backend() : Backend("aiger2", "(experimental) write design to AIGER file")
{
experimental();
}
@ -1384,7 +1384,7 @@ struct Aiger2Backend : Backend {
} Aiger2Backend;
struct XAiger2Backend : Backend {
XAiger2Backend() : Backend("xaiger2", "write design to XAIGER file (new)")
XAiger2Backend() : Backend("xaiger2", "(experimental) write design to XAIGER file")
{
experimental();
}