path: root/testsuite/tests/rts/T3236.c

#include "Rts.h"

int main (int argc, char *argv[])
{
    // should fail: RTS is not initialised
    rts_lock();
}