Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added Mirabelle option -r to randomize the goals before selection
Changeset 74986:fc664e4fbf6d by desharna:
added Mirabelle option -r to randomize the goals before selection
The file was addedsrc/HOL/Tools/Mirabelle/mirabelle_util.ML
The file was modified src/HOL/Mirabelle.thy (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle.ML (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle.scala (diff)
The file was modified src/HOL/Tools/etc/options (diff)