Revision 00c75986
| ID | 00c75986bd7b7439434bc64e8343cdc9c52dbd4c |
| Parent | 41085bd3 |
| Child | a1cd7c1e |
htools: more fixes to unsatisfiable tests
Currently the way we generate nodes in some cases is by creating a
totally random node, then restricting the test based on whether the node
'size' (as defined by multiples of base unit) satifies some high/low
rules. This results in hard-to-satisfy conditions, so we change this
model to be able to specify node sizes directly in the generation
process, thus no longer needed post-creation filters.
This fixes prop_ClusterAllocBalance which before had at most 1-2
satisfiable tests.
Signed-off-by: Iustin Pop <iustin@google.com>
Reviewed-by: Guido Trotter <ultrotter@google.com>
Files
- added
- modified
- copied
- renamed
- deleted