mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-19 04:13:39 +00:00
Code Activity

Fix variable name typo in verificsva.cc

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2018-03-10 14:33:42 +01:00
parent da216937b1
commit ce37b6d730
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
frontends/verific/verificsva.cc
View file

@ -1319,11 +1319,11 @@ struct VerificSvaImporter
parser_error(inst); parser_error(inst);
} }
void get_fsm_accept_reject(SvaFsm &fsm, SigBit *accept_p, SigBit *reject_p, bool swap_accpet_reject = false) void get_fsm_accept_reject(SvaFsm &fsm, SigBit *accept_p, SigBit *reject_p, bool swap_accept_reject = false)
{ {
log_assert(accept_p != nullptr || reject_p != nullptr); log_assert(accept_p != nullptr || reject_p != nullptr);
if (swap_accpet_reject) if (swap_accept_reject)
get_fsm_accept_reject(fsm, reject_p, accept_p); get_fsm_accept_reject(fsm, reject_p, accept_p);
else if (reject_p == nullptr) else if (reject_p == nullptr)
*accept_p = fsm.getAccept(); *accept_p = fsm.getAccept();