ConceptProd/ConceptCore
1
0
Fork 0
mirror of https://github.com/IRBorisov/ConceptCore.git synced 2025-06-26 01:00:36 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add tests for EmptySet interpretation

Browse Source
This commit is contained in:
IRBorisov 2024-05-10 01:39:29 +03:00
parent 4786ba851b
commit d39ac0fb3e
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
ccl/rslang/test/src/testASTInterpreter.cpp
View File

@ -229,13 +229,16 @@ TEST_F(UTASTInterpreter, TypedPredicates) {
}
TEST_F(UTASTInterpreter, TypedBasics) {
ExpectValue(R"({})", Factory::EmptySet());
ExpectValue(R"(X1)", data.at("X1"));
ExpectValue(R"(X1 \union X1)", data.at("X1"));
ExpectValue(R"(X1 \union {})", data.at("X1"));
ExpectValue(R"(X1 \union S1)", data.at("X1"));
ExpectValue(R"(S1 \union X1)", data.at("X1"));
ExpectValue(R"(X1 \intersect X1)", data.at("X1"));
ExpectValue(R"(X1 \intersect {})", Factory::EmptySet());
ExpectValue(R"(X1 \intersect S1)", data.at("S1"));
ExpectValue(R"(S1 \intersect X1)", data.at("S1"));
@ -247,6 +250,7 @@ TEST_F(UTASTInterpreter, TypedBasics) {
ExpectValue(R"(X1 \symmdiff S1)", Factory::Singleton(Factory::Val(2)));
ExpectValue(R"(S1 \symmdiff X1)", Factory::Singleton(Factory::Val(2)));
ExpectValue(R"(X1*{})", Factory::EmptySet());
ExpectValue(R"(X1*X2)", Factory::Decartian({ data.at("X1"), data.at("X2") }));
ExpectValue(R"(X1*X2*X1)", Factory::Decartian({ data.at("X1"), data.at("X2"), data.at("X1") }));
ExpectValue(R"(X1*(X2 \setminus X2))", Factory::EmptySet());
@ -295,6 +299,7 @@ TEST_F(UTASTInterpreter, TypedExpressions) {
ExpectValue(R"(I{a | a \from X1})", data.at("X1"));
ExpectValue(R"(R{a \assign X1 | a \setminus a})", Factory::EmptySet());
ExpectValue(R"(R{a \assign {} | a \union X1})", data.at("X1"));
ExpectValue(R"(R{a \assign X1 \setminus X1 | a \union X1})", data.at("X1"));
}

1
ccl/rslang/test/src/testValueAuditor.cpp
View File

@ -115,6 +115,7 @@ TEST_F(UTValueAuditor, LogicErrors) {
}
TEST_F(UTValueAuditor, TypedCorrect) {
ExpectClass(R"({})", ValueClass::value);
ExpectClass(R"(X1)", ValueClass::value);
ExpectClass(R"(D2)", ValueClass::props);