Commits on Nov 22, 2023

1. Fix crash when constant = bool in diagram …

   When a model returns something of the form
   `constant = true`, there's a crash in const_subst().
   
   Before this commit, in `logic.py:const_subst()` you would get
   something like:
   
   ```Python
   BinaryExpr(op='EQUAL', arg1=Id(name='integer_is_decidable', n_new=0,
   span=None), arg2=Id(name={(): True}, n_new=0, span=None), span=None)
   ```
   
   This would crash with a "TypeError: unhashable type: dict" when
   executing `ans[e.arg2] = e.arg`.

   

   dranov committed Nov 22, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for d389a74
   • Browse repository at this point

   Copy the full SHA

   d389a74 View commit details

   Browse the repository at this point in the history