Skip to content

Comments

(WIP) [Monitor] Fix failing round-trip tests related to combinational adders#197

Draft
ngernest wants to merge 3 commits intomainfrom
monitor_adder_fixes_more
Draft

(WIP) [Monitor] Fix failing round-trip tests related to combinational adders#197
ngernest wants to merge 3 commits intomainfrom
monitor_adder_fixes_more

Conversation

@ngernest
Copy link
Contributor

@ngernest ngernest commented Feb 23, 2026

(WIP) Bunch of bug-fixes related to failing round-trip tests for combinational adders that are triggered on the monitor side

  • When encountering empty statement blocks, e.g. the else branch of if { ... } else { }, proceed to the next statement instead of terminating the thread (this was a bug in the old implementation)
  • Handle protocols that end with fork() instead of step() as their final statement
    ^^ this is an ad-hoc fix for now until we figure out how to deal with ill-formed protocols in the monitor (see the two possible solutions discussed in Slack)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant