Skip to content

Commit

Permalink
Merge pull request #165 from probcomp/081324-emilyaf-github-action-fa…
Browse files Browse the repository at this point in the history
…ilure

Decrease number of HIRM samples to avoid timeout.
  • Loading branch information
emilyfertig authored Aug 13, 2024
2 parents 5eb0ffd + 6963e78 commit 89bb3b7
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions cxx/hirm_test.cc
Original file line number Diff line number Diff line change
Expand Up @@ -90,21 +90,21 @@ BOOST_AUTO_TEST_CASE(test_hirm_sample) {

std::mt19937 prng;
HIRM hirm(schema2, &prng);
hirm.sample_and_incorporate(&prng, 20);
hirm.sample_and_incorporate(&prng, 5);

BOOST_TEST(
std::get<Relation<bool>*>(hirm.get_relation("R2"))->get_data().size() ==
20);
5);
BOOST_TEST(
std::get<Relation<bool>*>(hirm.get_relation("R3"))->get_data().size() ==
20);
5);
BOOST_TEST(
std::get<Relation<double>*>(hirm.get_relation("R5"))->get_data().size() ==
20);
5);
int nobs_R4 =
std::get<Relation<double>*>(hirm.get_relation("R4"))->get_data().size();
BOOST_TEST(nobs_R4 > 0);
BOOST_TEST(nobs_R4 <= 20);
BOOST_TEST(nobs_R4 <= 5);
BOOST_TEST(hirm.logp_score() < 0.0);
}

Expand Down

0 comments on commit 89bb3b7

Please sign in to comment.