Recognize registers and set initial state for them in tb
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 16 Mar 2022 13:35:39 +0000 (14:35 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 16 Mar 2022 13:35:39 +0000 (14:35 +0100)
commit1f3423cd7d72d764217378200d7d1bd5ab721112
tree7b3cea53f2619a8f4d91de7a90e74500cd895c45
parente217e3017af101bfe43d44c2e3afda3d5c2e0832
Recognize registers and set initial state for them in tb
kernel/fstdata.cc
kernel/fstdata.h
passes/sat/sim.cc