changeset 32515 | e7c0d3c0494a |
parent 32498 | 1132c7c13f36 |
child 32518 | e3c4e337196c |
32511:43d2ac4aa2de | 32515:e7c0d3c0494a |
---|---|
20 |> add_info |
20 |> add_info |
21 |> log |
21 |> log |
22 end |
22 end |
23 handle TimeLimit.TimeOut => log "metis: time out" |
23 handle TimeLimit.TimeOut => log "metis: time out" |
24 |
24 |
25 fun invoke _ = Mirabelle.register ("metis", metis_action) |
25 fun invoke _ = Mirabelle.register (Mirabelle.catch "metis: " metis_action) |
26 |
26 |
27 end |
27 end |