5 ms·

No reason it can't. I know people currently generating specs from existing code; just gotta write the pipeline.