summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorLuc Provoost <luc.provoost@gmail.com>2022-09-14 15:13:32 +0000
committerLuc Provoost <luc.provoost@gmail.com>2022-09-14 15:26:07 +0000
commite7dbec331e68ca083ba079a66c1b93dd311248d6 (patch)
tree3d29a08f64ecf52ea48c1f5077d38100fb7edd3f /.gitignore
parentc7b632551d5e3c491c631bc4be2a8f881635e626 (diff)
Change search success criterium
When running a step in the binary search, we can now change the behaviour by adding a new parameter in the [test] section of the test file: generator_threshold. The default value for this parameter is set to inf, which results in the same behaviour as before this change was implemented. The relative difference between what the cores can generate and what is actually sent into the generator's interface must be lower than the generator_threshold, for the test to be successful. Signed-off-by: Luc Provoost <luc.provoost@gmail.com> Change-Id: Id3e787b3571bdb9f241763fceaffccb9ea81a264
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions