"The installed system must run normally if the user chooses to install without SELinux"
There is no test case for this now.
I have one note on this. There is used noselinux option, but it doesn't work now. I filled bug [2] there is another option with the same effect - selinux=0 and this one works fine, but Anaconda have noselinux in documentation, so it should work and they're working on it.
The option to install without selinux was added at a time when selinux was a new, experimental feature in Fedora. Now, it's an integral part of the distribution. It's time for this option to go away.
- Chris