We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8d57286 commit 9cad63fCopy full SHA for 9cad63f
coconut/tests/main_test.py
@@ -1097,19 +1097,20 @@ def test_prelude(self):
1097
if MYPY and PY38:
1098
run_prelude()
1099
1100
- def test_bbopt(self):
1101
- with using_paths(bbopt):
1102
- comp_bbopt()
1103
- if not PYPY and PY38 and not PY310:
1104
- install_bbopt()
1105
-
1106
# def test_pyprover(self):
1107
# with using_paths(pyprover):
1108
# comp_pyprover()
1109
# if PY38:
1110
# run_pyprover()
1111
1112
if PY312: # reduce test load
+
+ def test_bbopt(self):
+ with using_paths(bbopt):
+ comp_bbopt()
+ if not PYPY and PY38 and not PY310:
+ install_bbopt()
1113
1114
def test_pyston(self):
1115
with using_paths(pyston):
1116
comp_pyston(["--no-tco"])
0 commit comments