diff options
author | Adrian Kummerlaender | 2015-02-25 18:47:56 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-02-25 18:47:56 +0100 |
commit | e26621df352272688834361e7d026338cefb1372 (patch) | |
tree | 46064b5d0373e0b177791feaeaac86db086a685d /example/turing/src | |
parent | a3a0d6a1fa880b324576bb073637e021c57b0e65 (diff) | |
download | TypeAsValue-e26621df352272688834361e7d026338cefb1372.tar TypeAsValue-e26621df352272688834361e7d026338cefb1372.tar.gz TypeAsValue-e26621df352272688834361e7d026338cefb1372.tar.bz2 TypeAsValue-e26621df352272688834361e7d026338cefb1372.tar.lz TypeAsValue-e26621df352272688834361e7d026338cefb1372.tar.xz TypeAsValue-e26621df352272688834361e7d026338cefb1372.tar.zst TypeAsValue-e26621df352272688834361e7d026338cefb1372.zip |
Added `Cond` branch condition assertion
* improves error messages in case no branch condition resolves to `true`
Diffstat (limited to 'example/turing/src')
0 files changed, 0 insertions, 0 deletions