Pintos - Project 2 (testing commands)

# Run All Tests
# .../pintos/src/userprog
make && make check

# Run Certain Test (Set CUR_TEST variable to test name)
# .../pintos/src/userprog
make && CUR_TEST='sc-bad-sp' && pintos --qemu -- run $CUR_TEST && echo -e '\n!!!!!!!!! TEST RESULTS !!!!!!!!!\n' && cat build/tests/userprog/$CUR_TEST.result

# (Term 1)
#  DIR : .../pintos/src/userprog
pintos --gdb -- run exec-once

# (Term 2)
# DIR : .../pintos/src/userprog/build
pintos-gdb kernel.o
(gdb) target remote localhost:1234