Viewing all changes in revision 267.
- Committer: Simon Virenfeldt
- Date: 2021-03-03 14:19:37 UTC
- Revision ID: simwir1@gmail.com-20210303141937-i4fipf10zad7z3ht
If the retarding formula is not satisfied in an accepting state treat it as a progressing formula. Du not run clojure if the retarding formula is not satisfied.
expand all
collapse all
added
removed
