Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Do not trigger errors in MC_automaton_new_propositional_symbol() when MC is...
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 24 Jul 2015 11:05:15 +0000 (13:05 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 24 Jul 2015 11:05:15 +0000 (13:05 +0200)
commitd896265a56dbf34328e32566da1932835d840d27
tree84ed79acb2ccf21d4433a800f415e0952a931ffb
parent227fe9ac1163fcf5aa85dff730cfa4a8cfffa22f
[mc] Do not trigger errors in MC_automaton_new_propositional_symbol() when MC is disabled
src/mc/mc_client_api.cpp