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
[Testing:Autograding] typo in example (#40)
This file is buggy submission so it should be incorrect submission not
correct
---------
Co-authored-by: Barb Cutler <bmcutler@users.noreply.github.com>
[Bugfix:Autograding] add dwarf 4 option to drmemory (#39)
with g++11 it is necessary to compile with dwarf4 to get line numbers
from DrMemory
"command" : "clang++ -g -gdwarf-4 -Wall -o a.out *.cpp",
// NOTE: Compiling with the -gdwarf-4 option is required with g++ 11+
// so that DrMemory can print source code line numbers with.
// See also:
// DynamoRIO/drmemory#2485
Also, in PR Submitty/Submitty#9793 the category
for a system call previously in the unknown category is updated so that
the configuration runs without the system call failure.
---------
Co-authored-by: Barb Cutler <Barb Cutler>