STP solver

35 views

Skip to first unread message

unread,

Dec 16, 2011, 3:18:52 AM12/16/11

to BitBlaze User Discussion group

Dear all,

In the document of vine-1.0, the example of STP is to ask “what input
values force the execution down the path taken in the execution?”.

By inserting QUERY(FALSE); COUNTEREXAMPLE;
the STP could solve the formula being false is not valid.

I am interested in the problem "what input values do NOT force the
execution down the path taken in the execution?"

To solve the question, what should be inserted into the STP file?

Reply all

Reply to author

Forward

0 new messages