Merge lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba

[Federico Cavalieri]

Fixed random#0 function annotation.

Fixed random#0 function annotation.

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for the following merge proposals:
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706

Progress dashboard at http://jenkins.lambda.nu/view/ValidationQueue

[Zorba Build Bot (zorba-buildbot)]

Validation queue result for https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706

Stage "TestZorbaUbuntu" failed.
1 tests failed (8751 total tests run).

Check test results at http://jenkins.lambda.nu:8180/job/TestZorbaUbuntu/419/testReport/ to view the results.

[lp:~zorba-coders/zorba/fix-random-annotation]

11680. By Federico Cavalieri on 2013-12-19

Fixed func_random.h

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for the following merge proposals:
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706

Progress dashboard at http://jenkins.lambda.nu/view/ValidationQueue

[Zorba Build Bot (zorba-buildbot)]

Voting criteria failed for the following merge proposals:

https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706 :
Votes: {'Pending': 1}

[Zorba Build Bot (zorba-buildbot)]

Validation queue result for https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706

Stage "CommitZorba" failed.

Check console output at http://jenkins.lambda.nu:8180/job/CommitZorba/261/console to view the results.

[Matthias Brantner (matthias-brantner)]

review: Approve

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for the following merge proposals:
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706

Progress dashboard at http://jenkins.lambda.nu/view/ValidationQueue

[Zorba Build Bot (zorba-buildbot)]

Voting criteria failed for the following merge proposals:

https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706 :
Votes: {'Approve': 1}

[Zorba Build Bot (zorba-buildbot)]

Validation queue result for https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706

Stage "CommitZorba" failed.

Check console output at http://jenkins.lambda.nu:8180/job/CommitZorba/263/console to view the results.

[Federico Cavalieri (fcavalieri)]

review: Approve

[Zorba Build Bot (zorba-buildbot)]

Validation queue starting for the following merge proposals:
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706

Progress dashboard at http://jenkins.lambda.nu/view/ValidationQueue

[Zorba Build Bot (zorba-buildbot)]

Validation queue succeeded - proposal merged!

=== modified file 'src/functions/pregenerated/func_random.h'
--- src/functions/pregenerated/func_random.h	2013-03-05 23:11:50 +0000
+++ src/functions/pregenerated/func_random.h	2013-12-19 19:35:48 +0000
@@ -61,6 +61,7 @@
     : 
     function(sig, kind)
   {
+setDeterministic(false);
 
   }
 

=== modified file 'src/runtime/spec/random/random.xml'
--- src/runtime/spec/random/random.xml	2013-05-08 20:14:47 +0000
+++ src/runtime/spec/random/random.xml	2013-12-19 19:35:48 +0000
@@ -59,7 +59,7 @@
     <zorba:member type="xs_integer" name="theCurrCounter" brief=""/>
   </zorba:state>
 
-  <zorba:function isDeterministic="true">
+  <zorba:function isDeterministic="false">
 
     <zorba:signature localname="random" prefix="fn-zorba-random">
       <zorba:param>xs:integer</zorba:param> <!-- num of number to be genreated -->