Commit 63751e1d authored by Sarah Spall's avatar Sarah Spall Committed by Vikram Narayanan
Browse files

updated outdated test cases, most were fine

parent b0c48a3a
rpc int foo(int cpa, char v1, int v2);
rpc int bar(int r, int a, int c, char b);
module test(channel c) {
rpc int foo(int* a, int *c, char *d);
rpc void foo2(char *z, int b, long *a);
rpc void init(int a);
}
message foo_interface{
capability foo;
capability bar;
}
module test(channel c) {
projection super_block <struct super_block> {
[in, out] int c;
[out] char *a;
......@@ -9,3 +12,4 @@ rpc void add_to_super_block(projection super_block *sb, int *z);
rpc void foo(int *c, char a);
rpc int foo2(projection super_block *sb, char *a);
}
module test(channel c) {
rpc int foo(int cpa, char v1, int v2);
rpc int bar(int r, int a, int c, char b);
}
#include <test>
module test(channel c) {
rpc int foo(capability cap, char v1, int v2);
message foo_interface{
......@@ -22,6 +24,7 @@ module name {
rpc int foo2(projection name::super_block * sb);
}
module test(channel c) {
projection test<struct device> {
[in] projection other *sb;
[in,out,bind,alloc] int t;
......@@ -7,3 +10,5 @@ projection test<struct device> {
[in] unsigned long long t5;
[in] unsigned long t6;
}
}
typedef <struct foo, long long> foo_t
typedef<projection bar, long long> bar_t
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment