You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, in both testgen and the test command a "pool" of values is used to drive testing. Values from the pool are used to populate the generated traces. Currently, the pools being used are really quite inadequate. This could be improved in various ways, such as supporting:
The inclusion of randomly generated values
Better control over the range of values considered
The text was updated successfully, but these errors were encountered:
Currently, in both
testgen
and thetest
command a "pool" of values is used to drive testing. Values from the pool are used to populate the generated traces. Currently, the pools being used are really quite inadequate. This could be improved in various ways, such as supporting:The text was updated successfully, but these errors were encountered: