Improve verification of test results and add sanity checks #70
Description
Some of our tests lack proper verification of computed results and sanity checks of program behavior (synchronization, ...)
{{ message }}
Some of our tests lack proper verification of computed results and sanity checks of program behavior (synchronization, ...)