You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tree: 491d05d4fa

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '491d05d4fa'

${ noResults }

prism-accumulation/prism-examples/firewire/abst

History

Joachim Klein 491d05d4fa prism-auto: flush() to align script with prism output when used with pipes In non-test mode, PRISM and prism-auto both write to stdout, without prism-auto seeing/processing the output of PRISM. If the output of prism-auto is piped to another program or to a file, the prism-auto output is buffered. Then, the output by prism-auto (e.g., printing the command lines) is not properly synchronized with the output of the PRISM instances. So, we flush stdout at appropriate locations. Additionally, on timeout we prepend a '\n' to ensure that the timeout message starts at a new line (in particular for the common case of a timeout during explicit model building, where there is no newline from PRISM until the model is fully built).		9 years ago
..
auto	firewire	17 years ago
deadline.nm	firewire	17 years ago
deadline.pctl	firewire	17 years ago
expected.pctl	firewire	17 years ago
firewire.nm	expected properties added to firewire abstion version	18 years ago
liveness.pctl	Example fixes re new semantics (result reported for initial state by default) - need more filters.	15 years ago