From 9a036d1366593bfb5487caf9de1c49eb55a012d5 Mon Sep 17 00:00:00 2001 From: Alex Ivliev Date: Wed, 25 Sep 2024 09:31:37 +0200 Subject: [PATCH] Add testcase releated to 443 --- .../regression/planning_engine/arithmetic_chain/run.rls | 9 +++++++++ .../planning_engine/arithmetic_chain/run/C.csv | 1 + 2 files changed, 10 insertions(+) create mode 100644 resources/testcases/regression/planning_engine/arithmetic_chain/run.rls create mode 100644 resources/testcases/regression/planning_engine/arithmetic_chain/run/C.csv diff --git a/resources/testcases/regression/planning_engine/arithmetic_chain/run.rls b/resources/testcases/regression/planning_engine/arithmetic_chain/run.rls new file mode 100644 index 00000000..467ea16f --- /dev/null +++ b/resources/testcases/regression/planning_engine/arithmetic_chain/run.rls @@ -0,0 +1,9 @@ +%! Test related to +%! https://github.com/knowsys/nemo/issues/443 + +A(1, 2). +B(1, 10). + +C(?x, ?y * 5) :- A(?x, ?z), B(?x, ?v), ?y = ?z + ?v, ?y > 10 . + +@export C :- csv {}. \ No newline at end of file diff --git a/resources/testcases/regression/planning_engine/arithmetic_chain/run/C.csv b/resources/testcases/regression/planning_engine/arithmetic_chain/run/C.csv new file mode 100644 index 00000000..af9c9e97 --- /dev/null +++ b/resources/testcases/regression/planning_engine/arithmetic_chain/run/C.csv @@ -0,0 +1 @@ +1,60 \ No newline at end of file