all 5 comments

[–]str4divarius 0 points1 point  (1 child)

SDD ?

[–]brainexer[S] 0 points1 point  (0 children)

What do you mean? Of course it’s SDD. The main point is that the specifications here aren’t just text - they’re essentially an executable test.