GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.
Other
5 stars 2 forks source link

low nTests values ignored #1271

Open brooksdavis opened 2 years ago

brooksdavis commented 2 years ago

It should be possible to run a single test with nTests=1 in the bufferErrors section of the config. Tests take a long time to run on FPGA so being able to test a small number would be helpful. Currently, if nTests < 60 for FreeRTOS it gets set to 60.