Cleaned up stress tests.

[supercooldave]

Added entries into IGNORED_FILES.grep to reduce number of warning produced when running stress tests.

Made one Makefile a little more robust.

[albertnetymk]

Listing each directory explicitly under stress seems an unnecessary burden to maintain, for we know that they are stress tests, not ordinary tests. (Doesn't the ignore scheme in the testing script support whole directory exclusion?)

Using explicit relative path while invoking the compiler seems a bit odd as well. ../../../../../release/encorec -O3 main.enc

[supercooldave]

If you don't mention the directories, then the screen is filled with warnings, though the tests will still pass.
It was decided not to suppress such warnings and to force you, the Encore developer, to explicitly add entries to IGNORED_FILES.grep, to avoid accidentally submitting a test file (.enc) without the corresponding other files.

I added the explicit path to the encore compiler to make sure that it was running the right one — perhaps this is redundant and handled already by the testing script.

[kikofernandez]

Looks good but I won't merge until the author confirms if a Makefile is needed to do the stress testing. If the author fixes this issue before 15.00, I'll merge today

[kikofernandez]

Is this Makefile needed by the CI?

[supercooldave]

Yes, because there is no other way to pass the -O3 flag to the compiler.
(Whether the -O3 flag is really required is a question for the BoundedBuffer implementor.)
The reason for tidying up the Makefile was to reduce errors in the output, and increase faith in make stress.

[supercooldave]

@kikofernandez Ping!

[supercooldave]

@kikofernandez Are you fishing for more cake?

[kikofernandez]

CI fails

Sent from my Samsung GT-I9506 using FastHub

[supercooldave]

CI fails because I keep updating src/tests/IGNORED_FILES.grep whenever I add new (stress) tests.
I'll fix soon and checkout that Makefile.