Skip to content
Snippets Groups Projects
Select Git revision
  • de55c0269b33d5dba6fe9f0935db8c1fc7c4e063
  • master default protected
2 results

pt-bad-addr.c

Blame
    • Forked from h-attak / Pintos_Student
    Source project has a limited visibility.
    • h-attak's avatar
      de55c026
      Initial Commit - Base UWE Pintos Implementation · de55c026
      h-attak authored 
      - Added all source files from the initial UWE version of Pintos repository.
Commits history was irrelevant in the original project, starting from no
previous commits here.
- Added a .gitignore, so that binary and meaningless files won't get committed.

- Updated and moved the README.md file to be used properly by GitLab.
      de55c026
      History
      Initial Commit - Base UWE Pintos Implementation
      h-attak authored 
      - Added all source files from the initial UWE version of Pintos repository.
Commits history was irrelevant in the original project, starting from no
previous commits here.
- Added a .gitignore, so that binary and meaningless files won't get committed.

- Updated and moved the README.md file to be used properly by GitLab.
    pt-bad-addr.c 211 B 
    /* Accesses a bad address.
   The process must be terminated with -1 exit code. */

#include "tests/lib.h"
#include "tests/main.h"

void
test_main (void)
{
  fail ("bad addr read as %d", *(int *) 0x04000000);
}