An example driver for tomato
, used for testing purposes.
This driver is developed by the ConCat lab at TU Berlin.
count
: for counting up every secondrandom
: for returning a random number betweenmin
andmax
every query
max
: the upper limit torandom
,float
min
: the lower limit torandom
,float
param
: test attribute for unit validation,param > pint.Quantity("0.1 seconds")
choice
: test attribute foroptions
validation,choice ∈ {"red", "blue", "green"}
- Peter Kraus