New/cb multios
Compare changes
- Remi Lazarini authored
@@ -136,7 +136,8 @@ int cgc_checkNoCollision(Move move)
@@ -572,8 +573,17 @@ int cgc_parseUserInput(Move *movers)
@@ -598,8 +608,8 @@ int main(int cgc_argc, char *cgc_argv[])
Plusieurs commits:
A partir de CNMP, utilisation de la branche frama-c fix/eva/offsetmap
: risque d'erreur lors de la CI