GaloisInc / salty

A DSL for generating GR(1) problems
BSD 3-Clause "New" or "Revised" License
11 stars 3 forks source link

Remove the __slot__ assignment in Python generated controllers #14

Open sahabi opened 6 years ago

sahabi commented 6 years ago

The assignment causes the following error when using Python 3: "ValueError: '_table' in slots conflicts with class variable."

I think the fix is straightforward: remove the assignment expression for _slot_ and change _table to self._table.