exit
Exit murex
Exit's murex with either a exit number of 0 (by default if no parameters supplied) or a custom value specified by the first parameter.
exit
exit number
» exit
» exit 42
die
: Terminate murex with an exit number of 1null
: null function. Similar to /dev/nullThis site's content is rebuilt automatically from murex's source code after each merge to the master
branch. Downloadable murex binaries are also built with the website.
Last built on Thu May 26 22:49:43 UTC 2022 against commit 59e27bb59e27bb1013043fc4a940cf9a2767c63f31dad2c.
Current version is 2.8.2100 which has been verified against 15889 tests cases.