PROMELA中跳过和​​休息的区别究竟是什么？ [英] What exactly is the difference between skip and break in PROMELA?

问题描述

假设我有这条PROMELA代码

Let's say I have this piece of PROMELA code

active proctype A(){

   do
      :: !x -> break
      :: else -> skip
   od

   … //more code
}

究竟是什么 break 和跳过在这个例子中做什么？ 中断是否会中断整个过程 A（）以便不会达到更多代码或只是循环？



我尝试了什么：



研究网但是它仍然不是很清楚。

What exactly does break and skip do in this instance? Does break break out the whole process A() so that "more code" wouldn't be reached or just the loop?

What I have tried:

Researched the net but it still isn't very clear to me.

推荐答案

你怎么找不到参与Promela参考 [ ^ ]？两者（以及所有其他陈述）都清楚地解释了。

How is it you could not find Concise Promela Reference[^]? Both (and all other statements) are clearly explained.

Quote：

究竟有什么区别在PROMELA中跳过和​​休息？

What exactly is the difference between skip and break in PROMELA?

这可能不是最好的问题。

为什么不询问制造商？

为什么不阅读文档？

为什么不在用户论坛中询问？

为什么不尝试使用调试器来查看什么如何继续？

This is probably not the best place to ask.
Why don't you ask the makers ?
Why don't you read documentation ?
Why don't you ask in a users forum ?
Why don't you try to use debugger to see what ir going on ?

这篇关于PROMELA中跳过和​​休息的区别究竟是什么？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！