Skip to content

Commit

Permalink
disable tests of ure based openpsi
Browse files Browse the repository at this point in the history
  • Loading branch information
amebel committed Apr 14, 2016
1 parent d85ca61 commit 69346dd
Show file tree
Hide file tree
Showing 2 changed files with 26 additions and 26 deletions.
2 changes: 1 addition & 1 deletion tests/openpsi/CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@ LINK_LIBRARIES(
)

ADD_CXXTEST(OpenPsiUTest)
ADD_CXXTEST(OpenPsiExampleTest)
#ADD_CXXTEST(OpenPsiExampleTest)
50 changes: 25 additions & 25 deletions tests/openpsi/OpenPsiUTest.cxxtest
Original file line number Diff line number Diff line change
Expand Up @@ -90,31 +90,31 @@ public:
_as = nullptr;
_scm = nullptr;
}

void test_psi_get_action_rules()
{
logger().info("BEGIN TEST: %s", __FUNCTION__);

// Test for `psi-get-action-rules` for the 3 psi-effect-types
TSM_ASSERT_EQUALS("Not the expected 'Default' action-rule", \
_scm->eval_h("(test-def)"), _scm->eval_h("(test-def-result)"));
TSM_ASSERT_EQUALS("Not the expected 'Increase' action-rules", \
_scm->eval_h("(test-inc)"), _scm->eval_h("(test-inc-result)"));
TSM_ASSERT_EQUALS("Not the expected 'Decrease' action-rules", \
_scm->eval_h("(test-dec)"), _scm->eval_h("(test-dec-result)"));

logger().info("END TEST: %s", __FUNCTION__);
}

void test_psi_get_demands()
{
logger().info("BEGIN TEST: %s", __FUNCTION__);

TSM_ASSERT_EQUALS("Not the expected set of openpsi demands", \
_scm->eval_h("(test-select-all)"), \
_scm->eval_h("(test-select-all-result)"));
logger().info("END TEST: %s", __FUNCTION__);
}
//
// void test_psi_get_action_rules()
// {
// logger().info("BEGIN TEST: %s", __FUNCTION__);
//
// // Test for `psi-get-action-rules` for the 3 psi-effect-types
// TSM_ASSERT_EQUALS("Not the expected 'Default' action-rule",
// _scm->eval_h("(test-def)"), _scm->eval_h("(test-def-result)"));
// TSM_ASSERT_EQUALS("Not the expected 'Increase' action-rules",
// _scm->eval_h("(test-inc)"), _scm->eval_h("(test-inc-result)"));
// TSM_ASSERT_EQUALS("Not the expected 'Decrease' action-rules",
// _scm->eval_h("(test-dec)"), _scm->eval_h("(test-dec-result)"));
//
// logger().info("END TEST: %s", __FUNCTION__);
// }
//
// void test_psi_get_demands()
// {
// logger().info("BEGIN TEST: %s", __FUNCTION__);
//
// TSM_ASSERT_EQUALS("Not the expected set of openpsi demands",
// _scm->eval_h("(test-select-all)"),
// _scm->eval_h("(test-select-all-result)"));
// logger().info("END TEST: %s", __FUNCTION__);
// }

// Check that scheme function psi-satisfiable?
void test_psi_satisfiable()
Expand Down

0 comments on commit 69346dd

Please sign in to comment.