Rule Converter, random variable declarations not getting added or modified correctly in translated to model
GoogleCodeExporter opened this issue · comments
Needs to add missing random variable declarations in translation logic (i.e.
for functions etc...). See 'Example 4' from the PRAiSEDemoApp for examples of
where this is not being done correctly.
Original issue reported on code.google.com by ctjoreilly@gmail.com
on 11 Apr 2013 at 1:02
Fixed SVN revision=821.
Original comment by ctjoreilly@gmail.com
on 13 Jun 2013 at 9:39
- Changed state: Fixed