diff --git a/harmony_model_checker/harmony/charm.js b/harmony_model_checker/harmony/charm.js index 7a8212aa..9e1925b8 100644 --- a/harmony_model_checker/harmony/charm.js +++ b/harmony_model_checker/harmony/charm.js @@ -837,6 +837,9 @@ function run_microsteps() { threadtable.rows[tid].cells[3].innerHTML = threads[tid].stack; } + for (var i = 0; i < nmegasteps; i++) { + megasteps[i].nextstep.innerHTML = ""; + } for (var t = 0; t < currentTime; t++) { run_microstep(t); }