new test for c35
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Thu, 06 Dec 2012 17:31:55 +0000
changeset 5311 6a6753a07827
parent 5310 6113b10ac714
child 5312 aa13a03c4555
new test for c35
testcases/constraints/ordering-communication-PASS-c35.provn
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-communication-PASS-c35.provn	Thu Dec 06 17:31:55 2012 +0000
@@ -0,0 +1,11 @@
+document
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+wasInformedBy(ex:inf1;ex:a1,ex:a2)
+endDocument
\ No newline at end of file