Warning: session_start(): open(/var/lib/php/sessions/sess_sic4lin20ssii9u7cfe4iadkra, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
svoid test_tok_javaCallsToLeftArrowStyle() { testTranspilationFunction(tok_javaCallsToLeftArrowStyle, [[ points <- ll (pair(doublePt(10, 10), color("#FF0000")), pair(doublePt(70, 150), color("#FFFF00")), pair(doublePt(224, 300), color("#FF0000")), pair(doublePt(121, 100), color("#00FFFF")), pair(doublePt(160, 10), color("#FF00FF"))) ]], [[ points <- (ll (pair (doublePt 10 10) (color "#FF0000")) (pair (doublePt 70 150) (color "#FFFF00")) (pair (doublePt 224 300) (color "#FF0000")) (pair (doublePt 121 100) (color "#00FFFF")) (pair (doublePt 160 10) (color "#FF00FF"))) ]]); }