Comment Comment by anentropic Fantastic, I'd been daydreaming about doing similar for a while!Do I understand correctly that the Quint code is not needed 'at runtime', that it's there for model-based testing of the XState implementation? parent anentropic 6 months ago
Do I understand correctly that the Quint code is not needed 'at runtime', that it's there for model-based testing of the XState implementation?