Skip to content
[Jenkins]Jenkins
log in
In progress

Changes

Progress:

Summary

  1. Add expectation to wellfounded11150.ml (#14170) (commit: a2eb4b7) (details)
Commit a2eb4b7bbd0575943cf6f020c5eda4f5c91e5579 by noreply
Add expectation to wellfounded11150.ml (#14170)

* Add expectation to wellfounded11150.ml and document that this is a complexity class test
 (commit: a2eb4b7)
The file was modifiedtestsuite/tests/typing-misc/wellfounded11150.ml (diff)