small addition to rosette notes

2016-09-22 11:57:14 -04:00 · 2016-09-22 11:57:14 -04:00 · 3140cbff36
commit 3140cbff36
parent 17b78ef229
1 changed files with 3 additions and 0 deletions
--- a/turnstile/examples/rosette/rosette-notes.txt
+++ b/turnstile/examples/rosette/rosette-notes.txt
@ -67,6 +67,9 @@ Rosette TODO:
 - doc typo: core
 - Returns the unsatisfiable core stored in the given satisfiable solution

+Rosette code base questions:
+- in define-synthax, in #:codegen lambda, is `sol` parameter unused?
+
 Rosette use case questions:
 - does the predicate in define-symbolic need to be an arbitrary expression?
 - should z3 be part of #lang rosette?