encore
encore copied to clipboard
Cleaned up stress tests.
Added entries into IGNORED_FILES.grep to reduce number of warning produced when running stress tests.
Made one Makefile a little more robust.
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
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 Ping!
@kikofernandez Are you fishing for more cake?
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.