rom1v

fn f(b: bool) -> bool {
    loop {
        if b {
            return true
        }
    }
    // false
}

fn main() {

rom1v

#include <stdio.h>

int f(int b)
{
    while (1) {
        if (b)
            return 1;
    }
    return 0;
}

rom1v

Name:     FileTransferUnreliableBigMDP (rhizomeprotocol)
Result:   FAIL
Started:  2013-07-19 14:05:14.848
Finished: 2013-07-19 14:06:25.312
++++++++++ log.stdout ++++++++++
14:05:14.863 # SETUP
14:05:14.874 # call setup_FileTransferUnreliableBigMDP()
14:05:14.907 # set instance = Z, number = 26
14:05:14.949 # assert no servald process(es) running
14:05:14.960 # set instance = A, number = 1