Traian Florin Șerbănuță

I believe we should either work on solving this problem or develop a "completeness checker", maybe similar to the Sufficient Completeness Checker of Maude. Because it's ok in theory to...

I think what you propose would work only for a system without final states... Maybe we can define valid final states as a predicate and disjunct that with your condition....

I remember encountering a similar problem in Windows. I'll try to re-reproduce it În Mar, 23 aug. 2016, 00:50 Radu Mereuta, [email protected] a scris: > If the problem is still...