Giters

kiselev / aic-praise

Automatically exported from code.google.com/p/aic-praise

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Rule Converter, random variable declarations not getting added or modified correctly in translated to model

GoogleCodeExporter opened this issue · comments

commented 
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

commented 
Fixed SVN revision=821.

Original comment by ctjoreilly@gmail.com on 13 Jun 2013 at 9:39

  • Changed state: Fixed