Specification by Example
STRING DSL
| Input Value | Expected Output |
|---|
Uncheck to prune grammar
Bottom-Up Observational Equivalence: Rather than evaluating every combinatorially possible syntax tree, candidate expressions producing identical test outputs are aggressively pruned into single equivalence classes at each depth.
Synthesized Program & Telemetry
SYNTHESIZED
EXPLORED ASTs
142
EQUIV. PRUNED
98
SEARCH TIME
18 ms
VERIFIED SPEC
100% (3/3)
last (split (input, "@"))
Verified against all test vectors
function extractDomain(input) {
return input.split('@').slice(-1)[0];
}