How should we test generate constraints?
3 views
Skip to first unread message
Dan Haskin
Dec 14, 2011, 4:29:11 PM12/14/11
to byu-cs-330-Fall-2011
Jay,
It uses gensym all over the place, so we can't do a proper
(test ... ...), and it generates lots of constraints, so that
<output>
"should be like"
<pre-done output>
may be hard to check by eye.
It uses gensym all over the place, so we can't do a proper
(test ... ...), and it generates lots of constraints, so that
<output>
"should be like"
<pre-done output>
may be hard to check by eye.
What do you suggest?
Jay McCarthy
Dec 14, 2011, 4:34:56 PM12/14/11
to byu-cs-330...@googlegroups.com
That's what constraint-list=? is for. It can compare lists of constraints modulo renaming--
Jay McCarthy <j...@cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay
"The glory of God is Intelligence" - D&C 93
Jay McCarthy <j...@cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay
"The glory of God is Intelligence" - D&C 93
Reply all
Reply to author
Forward
0 new messages