Commit 02492bdc authored by Benoit Barbot's avatar Benoit Barbot

fix bug in uniform generation due to last merge

parent 0b37c592
Pipeline #1055 failed with stages
in 2 minutes and 43 seconds
......@@ -364,8 +364,8 @@ def toCOSMOS(allones,isIsotropic,Dline):
# distributions+=printDefineUserDistribution(outpath, 'DummyDistribution', 't', cardclocks+1,
# 0,0,0,0,0);
external= 'void magicReset(){};\n'
external+= 'bool magicConditional(int){return true;};\n'
external+= 'void magicUpdate(int,double){};\n'
external+= 'bool magicConditional(int, const abstractBinding &b){return true;};\n'
external+= 'void magicUpdate(int,const abstractBinding &b,double){};\n'
external+= 'int print_magic(int i){return i;};\n'
external+= tab;
s= printGRML_Start({'Dline':Dline}, range(cardclocks), distributions, external);
......
<?xml version="1.0" encoding="UTF-8"?>
<model id="1" formalismUrl="http://formalisms.cosyverif.org/sptgd-net.fml" xmlns="http://cosyverif.org/ns/model">
<attribute name="declaration">
<attribute name="UserDefineDistribution">
<attribute name="name">d1</attribute>
<attribute name="var">t</attribute>
<attribute name="cdf">param[1] * t</attribute>
<attribute name="pdf">param[1]</attribute>
</attribute>
<attribute name="variables">
<attribute name="clocks">
<attribute name="clock">
<attribute name="name">x</attribute>
</attribute>
</attribute>
</attribute>
</attribute>
<node id="3" nodeType="place" x="385" y="133">
<attribute name="name">
i
</attribute>
<attribute name="marking">
<attribute name="expr"><attribute name="numValue">
0
</attribute></attribute>
</attribute>
</node>
<node id="4" nodeType="transition" x="380" y="93">
<attribute name="weight">
<attribute name="expr"><attribute name="numValue">
1
</attribute></attribute>
</attribute>
<attribute name="priority">
<attribute name="expr"><attribute name="numValue">
1
</attribute></attribute>
</attribute>
<attribute name="name">
ln
</attribute>
<attribute name="service">
<attribute name="expr"><attribute name="numValue">
1
</attribute></attribute>
</attribute>
<attribute name="distribution">
<attribute name="type">
USERDEFINE
</attribute>
<attribute name="param">
<attribute name="expr"><attribute name="d1">
</attribute></attribute>
</attribute>
<attribute name="param">
<attribute name="expr"><attribute name="name">
x
</attribute></attribute>
</attribute>
</attribute>
<attribute name="update">
x=0.1;
</attribute>
</node>
<arc id="5" arcType="arc" source="4" target="3">
<attribute name="valuation">
<attribute name="expr"><attribute name="numValue">
1
</attribute></attribute>
</attribute>
</arc>
</model>
Markdown is supported
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