luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-10-06 01:53:53 +02:00
Code Issues Packages Projects Releases Wiki Activity

aiger2: Adjust typing

Browse Source
This commit is contained in:
Martin Povišer
2024-09-18 16:42:56 +02:00
parent 72d65063c3
commit 2a3e907da8
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
backends/aiger2/aiger.cc
+2 -2
View File
@@ -125,7 +125,7 @@ struct Index {
bool const_folding = true;
bool strashing = false;
dict<std::pair<int, int>, int> cache;
dict<std::pair<Lit, Lit>, Lit> cache;
Lit AND(Lit a, Lit b)
{
@@ -602,7 +602,7 @@ struct AigerWriter : Index<AigerWriter, unsigned int> {
}
void write_header() {
log_assert(lit_counter == (ninputs + nlatches + nands) * 2 + 2);
log_assert(lit_counter == (Lit) (ninputs + nlatches + nands) * 2 + 2);
char buf[128];
snprintf(buf, sizeof(buf) - 1, "aig %08d %08d %08d %08d %08d\n",