statespace-hang-testcase

statespace-hang-testcase.proj

<project library-octave="False" library-rpc="False" target_env="C++">
    <configuration>
        <build-option name="LIBS" /><build-option name="CFLAGS">-O2</build-option><head-code>#include &lt;iostream&gt;
        </head-code>
    </configuration>
    <net id="101" name="testcase">
        <place id="103" label-x="-181" label-y="-25" name="" radius="20" sx="0" sy="0" x="-181" y="-25">
            <place-type x="-164" y="-8">int</place-type><init x="-164" y="-55">1</init><trace trace-tokens="False" />
        </place>
        <transition clock="False" collective="False" id="102" label-x="-31" label-y="-24" name="" priority="" sx="70" sy="36" x="-66" y="-42">
            <guard x="-66" y="-62">x&lt; 5</guard><code>	std::cout &lt;&lt; var.x &lt;&lt; std::endl;
            </code>
        </transition>
        <transition clock="False" collective="False" id="106" label-x="-324" label-y="-26" name="" priority="" sx="70" sy="36" x="-359" y="-44">
            <guard x="-359" y="-64">x&lt; 5</guard><code>	std::cout &lt;&lt; var.x &lt;&lt; std::endl;
            </code>
        </transition>
        <edge from_item="103" id="104" to_item="102">
            <inscription x="-106.0" y="48.0">x</inscription><point x="-179" y="48" />
            <point x="-34" y="48" />
        </edge>
        <edge from_item="102" id="105" to_item="103">
            <inscription x="-106.0" y="-105.0">(x+2)@1</inscription><point x="-28" y="-105" />
            <point x="-184" y="-105" />
        </edge>
        <edge from_item="106" id="107" to_item="103">
            <inscription x="-262.0" y="-105.0">(x+1)@0</inscription><point x="-325" y="-106" />
            <point x="-200" y="-105" />
        </edge>
        <edge from_item="103" id="108" to_item="106">
            <inscription x="-260.0" y="46.0">x</inscription><point x="-194" y="46" />
            <point x="-326" y="46" />
        </edge>
    </net>
</project>