Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. add a known-bug test for buggy 'rec' (non)use in the #show command (commit: f7ec223) (details)
Commit f7ec223df9c9c4871040251fb1f558e0876d379a by gabriel.scherer
add a known-bug test for buggy 'rec' (non)use in the #show command
 (commit: f7ec223)
The file was addedtestsuite/tests/tool-toplevel/known-bugs/broken_rec_in_show.ml