Commit a36083ee authored by thiarichey's avatar thiarichey
Browse files

Minor changes.

parent 2729d08e
......@@ -239,7 +239,7 @@ In this case, we need our generator to generate more expressions, some of which
Bindings are similar to expressions, but simpler in that their arguments are nodes, symbols, or
expressions, as opposed to other (non-expression) bindings.
Our general approach, then, is this: we generate bindings, which generate expressions, which eventually terminate. This results in only valid Trefoil V2 ASTs! If this were Trefoil V1, we would only be generating valid programs right now; recall that this was in fact the case in the previous Trefoil fuzzer, `stackFuzz`. However, our Trefoil V2 programs are more complicated, and we cannot eliminate runtime errors even in programs with valid ASTs. Consider what happens in the following example:
Our general approach, then, is this: we generate bindings, which generate expressions, which eventually terminate. This results in only valid Trefoil V2 ASTs! If this were Trefoil V1, we would only be generating valid programs right now; recall that this was in fact the case in the previous Trefoil V1 fuzzer, `stackFuzz`. However, our Trefoil V2 programs are more complicated, and we cannot eliminate runtime errors even in programs with valid ASTs. Consider what happens in the following example:
```
(define x (+ 1 y))
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment