h the selected options. This implies, in the MBFL model, that no external program is executed.
When thi... g the intention to use a program
To make a script model simpler, we assume that the unavailability of a ... tion
Set or unset verbose execution. If verbose mode is on: some commands output messages on stderr de... tion-verbose Function
Returns true if verbose mode is on, false otherwise.
dotest-set-test Fu
