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
It will print the invariant from the CDD. If this is unsatisfactory, please let me know
(...) But what I notice now is that the printed guard contains repeated terms. In this PR you are just printing the content of CDD as a Guard object, so all these terms are present in the AndGuard object. It seems we could do some more cleaning in the Guard class itself to reduce the size of specific instances.
In #88, an example of printed guards looked as follows.
(...) But what I notice now is that the printed guard contains repeated terms. In this PR you are just printing the content of CDD as a
Guard
object, so all these terms are present in theAndGuard
object. It seems we could do some more cleaning in theGuard
class itself to reduce the size of specific instances.Originally posted by @magoorden in #88 (comment)
The text was updated successfully, but these errors were encountered: