Skip to content
Commit 06fcdc3a authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ added scoping refinements for actual parameters (action reference + 


test description reference)

Change-Id: If1e123fe30231249991e54885f1e5d119a3f4ec6
Signed-off-by: default avatarmakedonski <makedonski@informatik.uni-goettingen.de>
parent 084d4073
Hide whitespace changes
Inline Side-by-side
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