Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit 810d2e79 authored by Sylvain Dailler's avatar Sylvain Dailler
Browse files

Added proved status.

parent 166964fb
......@@ -548,8 +548,17 @@ let interpNotif (n: notification) =
| Node_change (nid, up) ->
begin
match up with
| Proved b -> TaskList.update_status `Valid (string_of_int nid)
| _ -> failwith "TODO"
| Proved true -> TaskList.update_status `Valid (string_of_int nid)
| Proved false -> TaskList.update_status `Unknown (string_of_int nid)
| Proof_status_change (c, obsolete, rl) ->
begin
(* TODO complete other tests *)
match c with
| Controller_itp.Done pr
when pr.Call_provers.pr_answer = Call_provers.Valid ->
TaskList.update_status `Valid (string_of_int nid)
| _ -> TaskList.update_status `Unknown (string_of_int nid)
end
end
exception NoNotification
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment