Jump to content

who can interpret use of soft constraint ?

Recommended Posts

Your soft constraint only covers the case when my_pkt is ether_pkt, so perhaps my_pkt is *not* ether_pkt,


Suppose there are four packet types, and data_len is 16 bits. Then you're randomizing 18 bits, that's 262144 values. But your constraint is only satisfied for 512 of those values, so there's only a 1 in (262144/512) = 1 in 512 chance of generating the value you seem to want.





Link to comment
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.

Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

  • Create New...