title: How to implement repeat untill (condition) loop in promela?
body: <p>Which would be right approach to do :</p>
  
  <pre><code>repeat{
  ...
  } until(&lt;condition&gt;)
  </code></pre>
  
  <p>in Promela ?</p>
  
  <p>I have tried :</p>
  
  <pre><code>do::
   //..
  (condition) -&gt; break;
  od
  </code></pre>
  
  <p>and </p>
  
  <pre><code>do ::
    //..
    if::(condition) -&gt; break;
    else
    fi;
  od
  </code></pre>