fabian/actsim-cluster-agent
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

new attempt for deadlock and token fault detection

Browse source
This commit is contained in:
Fabian Posch 2025-02-02 22:53:27 +01:00
parent 28d095cb4e
commit fa0ce2f321
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/actsim_agent/log_parser.cpp
View file

@ -96,10 +96,8 @@ void LogParser::finalize() {
if (has_reference) {
// model has not sent all tokens yet
if (artifact->get_output_token_timings().size() < reference->get_output_token_timings().size()) {
if (dut_output_tokens_ < (reference->get_output_token_timings().size() -1)) {
std::cout << "Token count based deadlock, reference had " << reference->get_output_token_timings().size() << " dut had " << artifact->get_output_token_timings().size() << std::endl;
// a deadlock must have occured
artifact->set_fault_deadlock(true);
failure_mode = true;