Get rid of atoms
There is no need to require atoms (print_*
or initial_state
) in the FLOW
signature as they are not needed by the MakeInterpreter
functor. We can implement them as we need them in the testing code.
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
There is no need to require atoms (print_*
or initial_state
) in the FLOW
signature as they are not needed by the MakeInterpreter
functor. We can implement them as we need them in the testing code.