Warning: session_start(): open(/var/lib/php/sessions/sess_4hemk5f55dphnt4g4udfes7g8f, 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 gazelle_saveExampleFromCommentAsAppliedRule(S ruleID) { for (S example : gazelle_goodExamplesFromComments(ruleID)) { PairS xmp = splitAtDoubleArrow_pair(example); if (xmp == null) continue; GazelleEvalContext ctx = dm_gazelle_stdEvalContext(ll(t3(dm_textForRule(ruleID), dm_commentOfRule(ruleID), ruleID))); L l = ai_ruleEngine2_rulesForInput_5(ctx.engine, litmap(standard := xmp.a)); print("Matched: " + sfu(l)); if (empty(l)) continue; RuleEngine2_MatchedRule mr = first(l); LS tokC = mr.outTokenize(mr.rule.out); LS tokI = mr.outTokenize(xmp.b); printStruct(tokI); SS map = zipTwoListsToCIMap_strict_withoutEquals(tokC, tokI); if (!gazelle_addMatch(mr, map, tokC, tokI)) continue; print("Got map: " + map); } }