Fix <= test in webapp

Kappa-Dev · Mar 27, 2024 · b19d43d · b19d43d
1 parent ec4bdcd
commit b19d43d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/core/KaSa_rep/frontend/prepreprocess.ml b/core/KaSa_rep/frontend/prepreprocess.ml
@@ -257,7 +257,7 @@ let translate_counter_test test =
   | Ast.CEQ i -> Ckappa_sig.CEQ i
   | Ast.CGTE i -> Ckappa_sig.CGTE i
   | Ast.CVAR x -> Ckappa_sig.CVAR x
-  | Ast.CLTE _i -> failwith "CLTE not yet implemented" (* TODO *)
+  | Ast.CLTE _i -> Ckappa_sig.UNKNOWN (* TODO: integrate this in kasa?*)
 
 let fst_opt a_opt =
   match a_opt with

diff --git a/core/grammar/ast.ml b/core/grammar/ast.ml
@@ -295,8 +295,8 @@ let counter_test_of_json = function
   | `Assoc [ ("val", `Int x); ("test", `String "gte") ]
   | `Assoc [ ("test", `String "gte"); ("val", `Int x) ] ->
     CGTE x
-  | `Assoc [ ("val", `Int x); ("test", `String "gle") ]
-  | `Assoc [ ("test", `String "gle"); ("val", `Int x) ] ->
+  | `Assoc [ ("val", `Int x); ("test", `String "lte") ]
+  | `Assoc [ ("test", `String "lte"); ("val", `Int x) ] ->
     CLTE x
   | `Assoc [ ("test", `String "eq"); ("val", `String x) ]
   | `Assoc [ ("val", `String x); ("test", `String "eq") ] ->