Constraints

Contradictions between keep soft select and keep soft

Sun 30 December 2018 by Tsvi Mostovicz / Verification

TL;DR

When trying to constrain minimum and maximum payload size, the constraints in the test wouldn't be obeyed, due to a bad interaction between keep soft and keep soft ... select ==

The issue

We had the following code in our tests:

extend SEMI_RANDOM eth_seq {
    packet_size_mode : [ALL_JUMBO,MIX,NO_JUMBO,ALL_64];

    keep …