source: benchmark/ctxswitch/cfa_thrd.cfa@ c60a664

#include <thread.hfa>

#include "bench.h"

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

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