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
For models imported from GINsim, GINsim performs minimization of the update functions before export. As such, the resulting function may have fewer inputs as the function declared in the model (if said inputs are used but not actually matter in the function). This is also done during Booleanization.
This is technically correct for the resulting model, but it hides logical errors, because it removes unused/invalid regulations from the model.
Not sure how to resolve this correctly. The best option would be to implement our own, stricter GINsim import and Booleanization, but that's a lot of work...
The text was updated successfully, but these errors were encountered:
daemontus
changed the title
GINsim export "hides" logical errors
[Problem] GINsim export "hides" logical errors.
Aug 3, 2022
For models imported from GINsim, GINsim performs minimization of the update functions before export. As such, the resulting function may have fewer inputs as the function declared in the model (if said inputs are used but not actually matter in the function). This is also done during Booleanization.
This is technically correct for the resulting model, but it hides logical errors, because it removes unused/invalid regulations from the model.
Not sure how to resolve this correctly. The best option would be to implement our own, stricter GINsim import and Booleanization, but that's a lot of work...
The text was updated successfully, but these errors were encountered: