Enable tests.

seL4 · Jul 28, 2014 · b1c08de · b1c08de
1 parent 0ad795c
commit b1c08de
Show file tree

Hide file tree

Showing 27 changed files with 0 additions and 0 deletions.
diff --git a/tests/arm-adder.tcl b/tests/arm-adder.tcl
diff --git a/tests/arm-dataport.tcl b/tests/arm-dataport.tcl
diff --git a/tests/arm-event.tcl b/tests/arm-event.tcl
diff --git a/tests/arm-exchangestring.tcl b/tests/arm-exchangestring.tcl
diff --git a/tests/arm-filter.tcl b/tests/arm-filter.tcl
diff --git a/tests/arm-lockserver.tcl b/tests/arm-lockserver.tcl
diff --git a/tests/arm-multiclient.tcl b/tests/arm-multiclient.tcl
diff --git a/tests/arm-multiplier.tcl b/tests/arm-multiplier.tcl
diff --git a/tests/arm-mutex.tcl b/tests/arm-mutex.tcl
diff --git a/tests/arm-rotate.tcl b/tests/arm-rotate.tcl
diff --git a/tests/arm-simple.tcl b/tests/arm-simple.tcl
diff --git a/tests/arm-socket.tcl b/tests/arm-socket.tcl
diff --git a/tests/arm-terminal.tcl b/tests/arm-terminal.tcl
diff --git a/tests/run-all.sh b/tests/run-all.sh
diff --git a/tests/x86-adder.tcl b/tests/x86-adder.tcl
diff --git a/tests/x86-dataport.tcl b/tests/x86-dataport.tcl
diff --git a/tests/x86-event.tcl b/tests/x86-event.tcl
diff --git a/tests/x86-exchangestring.tcl b/tests/x86-exchangestring.tcl
diff --git a/tests/x86-filter.tcl b/tests/x86-filter.tcl
diff --git a/tests/x86-lockserver.tcl b/tests/x86-lockserver.tcl
diff --git a/tests/x86-multiclient.tcl b/tests/x86-multiclient.tcl
diff --git a/tests/x86-multiplier.tcl b/tests/x86-multiplier.tcl
diff --git a/tests/x86-mutex.tcl b/tests/x86-mutex.tcl
diff --git a/tests/x86-rotate.tcl b/tests/x86-rotate.tcl
diff --git a/tests/x86-simple.tcl b/tests/x86-simple.tcl
diff --git a/tests/x86-socket.tcl b/tests/x86-socket.tcl
diff --git a/tests/x86-terminal.tcl b/tests/x86-terminal.tcl