You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Reflowing the sci.m model indicates murphi-format has something it thinks is an indent without the corresponding dedent. The resulting model is indented somewhat at its trailer, which shouldn’t happen for a valid model.
Reflowing the sci.m model indicates
murphi-formathas something it thinks is an indent without the corresponding dedent. The resulting model is indented somewhat at its trailer, which shouldn’t happen for a valid model.