Sign in
opensecura
/
3p
/
sel4
/
sel4_libs
/
2539850655008010c9ce9be1ccd53a1d8390bdd8
/
libsel4test
/
include
/
sel4test
9571e8d
libsel4test: Add timeout and a util function for RPC Timer requests
by Hesham Almatary
· 7 years ago
44542c1
SELFOUR-1056: add support for periodic requests
by Hesham Almatary
· 7 years ago
8e3628e
SELFOUR-1056: add util enum to define communication codes between sel4test-test and sel4test-driver
by Hesham Almatary
· 7 years ago
ba3c28d
sel4test: Declare env struct formally in libsel4test
by Adrian Danis
· 7 years ago
b71933c
sel4test: Declare interfaces with more abstract notion of environment type
by Adrian Danis
· 7 years ago
f585174
sel4test: Make test_type a word to ensure alignment
by Anna Lyons
· 7 years ago
17dde25
sel4test: make test name not const
by Anna Lyons
· 7 years ago
8b90823
Make testcase aligned on both 32- and 64-bit
by Anna Lyons
· 7 years ago
d9dfbe7
SELFOUR-1083 rename DEFINE_TEST_MAYBE to DEFINE_TEST
by Claudia Tu
· 7 years ago
9152ea9
SELFOUR-1083 Store name in test case and use C89, add elf_get_section
by Claudia Tu
· 7 years ago
32c1bfc
SELFOUR-894 run tests selectively based on configs using DEFINE_TEST_MAYBE
by Claudia Tu
· 7 years ago
b14dae4
sel4test: trivial, minor style fixes
by Anna Lyons
· 8 years ago
2dc0220
sel4test: move test section definitions to header
by Anna Lyons
· 8 years ago
4856631
sel4test: refactor test result status into an enum
by Anna Lyons
· 8 years ago
7060d41
sel4test: trivial: use #pragma once
by Anna Lyons
· 8 years ago
32d031d
sel4test: simplify output buffering
by Anna Lyons
· 8 years ago
02a348d
SELFOUR-642 Fix typo (sel4test_start_new_test)
by Claudia Tu
· 8 years ago
1622553
SELFOUR-642 move parts of libsel4test that depend on other libraries to
by Claudia Tu
· 8 years ago
4cf9f0e
SELFOUR-1076 update sel4test_run_tests to use test_types
by Claudia Tu
· 8 years ago
dd22e16
SELFOUR-1073 add struct and macros for test_type
by Claudia Tu
· 8 years ago
700ba40
Revert "SELFOUR-1072 add definition for test_type"
by Claudia Tu
· 8 years ago
6f29504
Revert "SELFOUR-1073 add macro definition for test_type"
by Claudia Tu
· 8 years ago
10c7689
SELFOUR-1073 add macro definition for test_type
by Claudia Tu
· 8 years ago
c084d6c
SELFOUR-1072 add definition for test_type
by Claudia Tu
· 8 years ago
0016dfc
Fix all the whitespace
by Anna Lyons
· 8 years ago
9214341
Fix licenses
by Anna Lyons
· 8 years ago
3e1a106
libsel4test: Mark some char * parameters as const.
by Matthew Fernandez
· 9 years ago
86b20f2
libsel4test: Fix 32-bit size assumptions in printing
by Adrian Danis
· 9 years ago
03fb365
libsel4test: Explicitly align testcase struct
by Adrian Danis
· 9 years ago
298df1e
libsel4test: Put whitespace in-between adjacent string literals.
by Matthew Fernandez
· 9 years ago
cba588a
libsel4test: Correct test_op to not include stringified arguments in format string
by Adrian Danis
· 9 years ago
57514c2
Remove 'args' parameter to test cases.
by Matthew Fernandez
· 9 years ago
4e0056b
libsel4test: bandaid to make sel4test-driver report the correct number of tests passing
by Anna Lyons
· 9 years ago
4d702f1
Add 'libsel4test/' from commit '1dd319a622fa92bde8c6aa1da758503ffe8b0f9b'
by Anna Lyons
· 9 years ago