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
This particular resource/exe needs reference executables, like the other resources/exes, so that it runs predictably on different machines, with an appropriate Makefile to generate the relevant artifacts. You can follow, say, https://github.com/draperlaboratory/VIBES/tree/main/resources/exes/arm-simple-compiled as a template (see its Makefile and *.reference files).
The system test that exercises this resource/exe then needs to exercise main.reference rather than main:
The system test that exercises arm-bounds-check is currently failing.
The
main
program that gets compiled on my machine runs fine, and doesn't raise the expected error (which causes the test to fail).On inspection, it would appear that there aren't any reference executables here:
https://github.com/draperlaboratory/VIBES/tree/main/resources/exes/arm-bounds-check
This particular resource/exe needs reference executables, like the other resources/exes, so that it runs predictably on different machines, with an appropriate Makefile to generate the relevant artifacts. You can follow, say, https://github.com/draperlaboratory/VIBES/tree/main/resources/exes/arm-simple-compiled as a template (see its Makefile and *.reference files).
The system test that exercises this resource/exe then needs to exercise
main.reference
rather thanmain
:It looks like some other resource/exes and system tests might need similar updates, e.g.:
I would actually just fix this myself, but compiling the program on my machine results in an executable that doesn't exhibit the expected error.
The text was updated successfully, but these errors were encountered: