fmidue / logic-tasks

0 stars 1 forks source link

Fix non-terminating test cases #87

Closed nimec01 closed 9 months ago

nimec01 commented 9 months ago

This pull request fixes the non-terminating test cases mentioned in #80.

A description of the cause can be found here: https://github.com/fmidue/logic-tasks/issues/80#issuecomment-1898610206