source: benchmark/ctxswitch/cfa_thrd.cfa @ 1d60da8

#include <thread.hfa>

#include "bench.h"

int main(int argc, char* argv[]) {
        BENCH(
                for ( i; n ) {
                        yield();
                },
                result
        )

        printf("%g\n", result);
}