You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It's been discovered that different operating systems can create different seeds (we've encountered this with OSX and Ubuntu systems). Thus when we create tests we will need to have our seed for programs under test to be consistent.
This will be necessary for adapting our POC.c file (to be renamed when sending a patch upstream) into their tests test suite module.