hotfix to be removed: oaisim -a abstraction flag disabled

The abstraction mode of oaisim does not work for the moment, it's better to exit than to crash somewhere randomly.
2017-01-30 15:52:18 +01:00
parent 4eae34a9d8
commit dd9778924d
1 changed files with 2 additions and 0 deletions
@@ -450,6 +450,8 @@ void get_simulation_options(int argc, char *argv[])

    case 'a':
      abstraction_flag = 1;
+      printf("FATAL: -a flag not functional for the moment.\nWe are working on fixing the abstraction mode.\n");
+      exit(1);
      break;

    case 'A':