CSY/reowolf Files · testdata/parser/negative/25.pdl · Centrum Wiskunde & Informatica (CWI)

Files @ 8622657b70f9

Branch filter:

Location: CSY/reowolf/testdata/parser/negative/25.pdl - annotation

8622657b70f9 159 B text/plain Show Source Show as Raw Download as Raw

Add ctor/dtor tests to MPSC queue

Now also testing that resources are properly moved and/or bitwise
copied inside of the MPSC queue. To make this possible the Resource
testing struct was moved outside of the store::component::tests
module.

1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395

#version 100

primitive main(in a, out b) {
	int x = 0;
	int y = 0;
	while (true) {
		synchronous (int x) { // illegal
			assert fires(a) == fires(b);
		}
	}
}