let
check_by =
function
|
L_altergo
->
AltErgo
.check
|
L_why
->
SMT
.check
|
L_coq
->
Coq
.check