Skip to content

Commit

Permalink
Further fix prelude test
Browse files Browse the repository at this point in the history
  • Loading branch information
evhub committed Apr 28, 2024
1 parent 32296cf commit c52c48c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion coconut/tests/main_test.py
Original file line number Diff line number Diff line change
Expand Up @@ -811,7 +811,7 @@ def comp_prelude(args=[], **kwargs):
def run_prelude(**kwargs):
"""Runs coconut-prelude."""
call(["make", "base-install"], cwd=prelude)
call(["pytest", "--strict-markers", "-s", os.path.join(prelude, "prelude")], assert_output="passed", **kwargs)
call(["pytest", "--strict-markers", "-s", os.path.join(prelude, "prelude")], assert_output=" passed in ", assert_output_only_at_end=False, **kwargs)


def comp_bbopt(args=[], **kwargs):
Expand Down

0 comments on commit c52c48c

Please sign in to comment.