CodyKochmann
commented
5 years ago This was done in the add-lightness branch. This new design:
- sped up BT's single core performance by magnitudes
- dramatically reduced the memory usage in the test process
- enables users to run extremely long run tests without crashing
Switching to co-routines for everything (both input generation and type specific testing) will give bt the internal organization it needs to more efficiently generate only the things it needs and will clean up the runtime environment since things don't have to use threads to work side by side.
This will also provide a much simpler architecture to work with for making BT support multi-machine setups way down the road.