*** COMPILING IN ef/checked-out/079
                           A-01-32-M-ok.in                           
Running: Running: TEST PASSED!
                           A-01-33-M-ok.in                           
Running: Running: TEST PASSED!
                           A-02-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-02-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-02-03-M-ok.in                           
Running: Running: TEST PASSED!
                           A-02-06-M-ok.in                           
Running: Running: TEST PASSED!
                           A-03-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-03-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-03-03-M-ok.in                           
Running: Running: TEST PASSED!
                           A-04-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-04-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-05-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-06-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-06-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-06-03-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-03-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-04-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-05-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-09-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-10-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-12-M-ok.in                           
Running: Running: TEST PASSED!
                           A-08-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-08-02-M-ok.in                           
Running: Running: *** expected/A-08-02-M-ok.out	Fri Oct 18 19:27:35 2024
--- checked-out/079/079_A-08-02-M-ok.out	Sat Oct 26 00:58:07 2024
      ZONE  1      
*** 10,16 ****
  9 - Gestão de vacinas
  10 - Consultas
  0 - Sair
! Escolha uma opção: 96
  Menu Principal
  1 - Criar ficheiro
  2 - Abrir ficheiro
--- 10,16 ----
  9 - Gestão de vacinas
  10 - Consultas
  0 - Sair
! Escolha uma opção: 0
  Menu Principal
  1 - Criar ficheiro
  2 - Abrir ficheiro
output differs from expected
                           A-09-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-09-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-09-03-M-ok.in                           
Running: Running: TEST PASSED!
                           A-09-08-M-ok.in                           
Running: Running: TEST PASSED!
                           A-10-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-10-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-10-03-M-ok.in                           
Running: Running: TEST PASSED!
                           A-10-04-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-04-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-05-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-08-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-11-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-12-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-14-M-ok.in                           
Running: Running: TEST PASSED!
                           A-16-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-16-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-16-03-M-ok.in                           
Running: Running: TEST PASSED!
                           A-17-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-17-04-M-ok.in                           
Running: Running: TEST PASSED!
                           A-17-05-M-ok.in                           
Running: Running: TEST PASSED!
                           A-17-06-M-ok.in                           
Running: Running: TEST PASSED!
                           A-17-08-M-ok.in                           
Running: Running: TEST PASSED!
                           A-18-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-18-04-M-ok.in                           
Running: Running: TEST PASSED!
                           A-18-05-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-03-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-04-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-09-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-10-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-11-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-13-M-ok.in                           
Running: Running: TEST PASSED!
                           A-20-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-20-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-20-04-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-03-M-ok.in                           
Running: Running: *** expected/A-21-03-M-ok.out	Fri Oct 18 19:27:35 2024
--- checked-out/079/079_A-21-03-M-ok.out	Sat Oct 26 00:58:11 2024
      ZONE  1      
*** 16,22 ****
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: A vacina 'Vacina1' não existe.
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
--- 16,22 ----
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet1' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
output differs from expected
                           A-21-05-M-ok.in                           
Running: Running: *** expected/A-21-05-M-ok.out	Fri Oct 18 19:27:35 2024
--- checked-out/079/079_A-21-05-M-ok.out	Sat Oct 26 00:58:11 2024
      ZONE  1      
*** 16,29 ****
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: REGISTO-VACINA|Vac1|Vet1|E1
! Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
--- 16,29 ----
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet1' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
! Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
output differs from expected
                           A-21-06-M-ok.in                           
Running: Running: *** expected/A-21-06-M-ok.out	Fri Oct 18 19:27:35 2024
--- checked-out/079/079_A-21-06-M-ok.out	Sat Oct 26 00:58:11 2024
      ZONE  1      
*** 16,22 ****
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
--- 16,23 ----
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet1' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
! Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
      ZONE  2      
*** 40,46 ****
  3 - Transferir para habitat
  4 - Calcular satisfação de animal
  0 - Sair
! Escolha uma opção: ANIMAL|AA1|Patudo|E1|NORMAL|H1
  ANIMAL|AA2|Patudo 2|E1|VOID|H1
  ANIMAL|AA3|Malhado|E2|VOID|H1
  Gestão de Animais
--- 41,47 ----
  3 - Transferir para habitat
  4 - Calcular satisfação de animal
  0 - Sair
! Escolha uma opção: ANIMAL|AA1|Patudo|E1|VOID|H1
  ANIMAL|AA2|Patudo 2|E1|VOID|H1
  ANIMAL|AA3|Malhado|E2|VOID|H1
  Gestão de Animais
output differs from expected
                           A-21-07-M-ok.in                           
Running: Running: *** expected/A-21-07-M-ok.out	Fri Oct 18 19:27:35 2024
--- checked-out/079/079_A-21-07-M-ok.out	Sat Oct 26 00:58:11 2024
      ZONE  1      
*** 16,36 ****
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: REGISTO-VACINA|Vac3|Vet1|E1
! REGISTO-VACINA|Vac3|Vet2|E2
! Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
--- 16,36 ----
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet1' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
! Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet2' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
! Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
output differs from expected
                           A-21-08-M-ok.in                           
Running: Running: *** expected/A-21-08-M-ok.out	Fri Oct 18 19:27:35 2024
--- checked-out/079/079_A-21-08-M-ok.out	Sat Oct 26 00:58:11 2024
      ZONE  1      
*** 16,28 ****
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
--- 16,30 ----
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet1' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
! Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet2' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
! Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
      ZONE  2      
*** 48,55 ****
  4 - Calcular satisfação de animal
  0 - Sair
  Escolha uma opção: ANIMAL|AA1|Patudo|E1|VOID|H1
! ANIMAL|AA2|Patudo 2|E1|NORMAL|H1
! ANIMAL|AA3|Malhado|E2|NORMAL|H1
  Gestão de Animais
  1 - Visualizar todos os animais
  2 - Registar animal
--- 50,57 ----
  4 - Calcular satisfação de animal
  0 - Sair
  Escolha uma opção: ANIMAL|AA1|Patudo|E1|VOID|H1
! ANIMAL|AA2|Patudo 2|E1|VOID|H1
! ANIMAL|AA3|Malhado|E2|VOID|H1
  Gestão de Animais
  1 - Visualizar todos os animais
  2 - Registar animal
output differs from expected
                           A-21-10-M-ok.in                           
Running: Running: *** expected/A-21-10-M-ok.out	Fri Oct 18 19:27:35 2024
--- checked-out/079/079_A-21-10-M-ok.out	Sat Oct 26 00:58:11 2024
      ZONE  1      
*** 17,37 ****
  4 - Mostrar vacinações
  0 - Sair
  Escolha uma opção: Número inválido!
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: REGISTO-VACINA|Vac1|Vet3|E1
! REGISTO-VACINA|Vac3|Vet3|E2
! Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
--- 17,37 ----
  4 - Mostrar vacinações
  0 - Sair
  Escolha uma opção: Número inválido!
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet3' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
! Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet3' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
! Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
      ZONE  2      
*** 56,63 ****
  4 - Calcular satisfação de animal
  0 - Sair
  Escolha uma opção: ANIMAL|AA1|Patudo|E1|VOID|H1
! ANIMAL|AA2|Patudo 2|E1|NORMAL|H1
! ANIMAL|AA3|Malhado|E2|NORMAL|H1
  Gestão de Animais
  1 - Visualizar todos os animais
  2 - Registar animal
--- 56,63 ----
  4 - Calcular satisfação de animal
  0 - Sair
  Escolha uma opção: ANIMAL|AA1|Patudo|E1|VOID|H1
! ANIMAL|AA2|Patudo 2|E1|VOID|H1
! ANIMAL|AA3|Malhado|E2|VOID|H1
  Gestão de Animais
  1 - Visualizar todos os animais
  2 - Registar animal
      ZONE  3      
*** 82,90 ****
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: VACINA|Vac1|nome 1|1|E1
  VACINA|Vac2|nome 2|0|E2
! VACINA|Vac3|nome 3|1|E1,E2
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
--- 82,90 ----
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: VACINA|Vac1|nome 1|0|E1
  VACINA|Vac2|nome 2|0|E2
! VACINA|Vac3|nome 3|0|E1,E2
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
output differs from expected
                           A-21-13-M-ok.in                           
Running: Running: *** expected/A-21-13-M-ok.out	Fri Oct 18 19:27:35 2024
--- checked-out/079/079_A-21-13-M-ok.out	Sat Oct 26 00:58:11 2024
      ZONE  1      
*** 16,29 ****
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: A vacina 'Vac1' não é apropiada para o animal 'AA3'.
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: A vacina 'Vac2' não é apropiada para o animal 'AA1'.
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
--- 16,29 ----
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet2' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet1' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
      ZONE  2      
*** 48,56 ****
  3 - Transferir para habitat
  4 - Calcular satisfação de animal
  0 - Sair
! Escolha uma opção: ANIMAL|AA1|Patudo|E1|CONFUSÃO|H1
  ANIMAL|AA2|Patudo 2|E1|VOID|H1
! ANIMAL|AA3|Malhado|E2|CONFUSÃO|H1
  Gestão de Animais
  1 - Visualizar todos os animais
  2 - Registar animal
--- 48,56 ----
  3 - Transferir para habitat
  4 - Calcular satisfação de animal
  0 - Sair
! Escolha uma opção: ANIMAL|AA1|Patudo|E1|VOID|H1
  ANIMAL|AA2|Patudo 2|E1|VOID|H1
! ANIMAL|AA3|Malhado|E2|VOID|H1
  Gestão de Animais
  1 - Visualizar todos os animais
  2 - Registar animal
      ZONE  3      
*** 69,72 ****
  9 - Gestão de vacinas
  10 - Consultas
  0 - Sair
! Escolha uma opção: 
--- 69,72 ----
  9 - Gestão de vacinas
  10 - Consultas
  0 - Sair
! Escolha uma opção: 
\ No newline at end of file
output differs from expected
                           A-21-14-M-ok.in                           
Running: Running: *** expected/A-21-14-M-ok.out	Fri Oct 18 19:27:35 2024
--- checked-out/079/079_A-21-14-M-ok.out	Sat Oct 26 00:58:11 2024
      ZONE  1      
*** 17,30 ****
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: A vacina 'Vac1' não é apropiada para o animal 'AA3'.
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: A vacina 'Vac2' não é apropiada para o animal 'AA1'.
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
--- 17,30 ----
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet2' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet1' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
      ZONE  2      
*** 49,57 ****
  3 - Transferir para habitat
  4 - Calcular satisfação de animal
  0 - Sair
! Escolha uma opção: ANIMAL|AA1|Patudo|E1|ACIDENTE|H1
  ANIMAL|AA2|Patudo 2|E1|VOID|H1
! ANIMAL|AA3|Malhado|E2|ACIDENTE|H1
  Gestão de Animais
  1 - Visualizar todos os animais
  2 - Registar animal
--- 49,57 ----
  3 - Transferir para habitat
  4 - Calcular satisfação de animal
  0 - Sair
! Escolha uma opção: ANIMAL|AA1|Patudo|E1|VOID|H1
  ANIMAL|AA2|Patudo 2|E1|VOID|H1
! ANIMAL|AA3|Malhado|E2|VOID|H1
  Gestão de Animais
  1 - Visualizar todos os animais
  2 - Registar animal
      ZONE  3      
*** 76,91 ****
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: REGISTO-VACINA|Vac1|Vet2|E2
! REGISTO-VACINA|Vac2|Vet1|E1
! Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: VACINA|Vac1|nome 1|1|E1
! VACINA|Vac2|nome 2|1|E2
  VACINA|Vac3|nome 3|0|E1,E2
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
--- 76,89 ----
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: VACINA|Vac1|nome 1|0|E1
! VACINA|Vac2|nome 2|0|E2
  VACINA|Vac3|nome 3|0|E1,E2
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
output differs from expected
                           A-22-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-23-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-24-01-M-ok.in                           
Running: Running: *** expected/A-24-01-M-ok.out	Fri Oct 18 19:27:35 2024
--- checked-out/079/079_A-24-01-M-ok.out	Sat Oct 26 00:58:12 2024
      ZONE  1      
*** 23,29 ****
  3 - Actos médicos de um veterinário
  4 - Vacinações com problemas
  0 - Sair
! Escolha uma opção: Identificador único do funcionário: Consultas
  1 - Animais de um habitat
  2 - Actos médicos num animal
  3 - Actos médicos de um veterinário
--- 23,30 ----
  3 - Actos médicos de um veterinário
  4 - Vacinações com problemas
  0 - Sair
! Escolha uma opção: Identificador único do funcionário: O veterinário não tem atos médicos registrados.
! Consultas
  1 - Animais de um habitat
  2 - Actos médicos num animal
  3 - Actos médicos de um veterinário
output differs from expected
                           A-24-03-M-ok.in                           
Running: Running: *** expected/A-24-03-M-ok.out	Fri Oct 18 19:27:35 2024
--- checked-out/079/079_A-24-03-M-ok.out	Sat Oct 26 00:58:12 2024
      ZONE  1      
*** 16,22 ****
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
--- 16,23 ----
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet1' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
! Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
      ZONE  2      
*** 40,46 ****
  3 - Actos médicos de um veterinário
  4 - Vacinações com problemas
  0 - Sair
! Escolha uma opção: Identificador único do funcionário: REGISTO-VACINA|Vac3|Vet1|E1
  Consultas
  1 - Animais de um habitat
  2 - Actos médicos num animal
--- 41,47 ----
  3 - Actos médicos de um veterinário
  4 - Vacinações com problemas
  0 - Sair
! Escolha uma opção: Identificador único do funcionário: O veterinário não tem atos médicos registrados.
  Consultas
  1 - Animais de um habitat
  2 - Actos médicos num animal
output differs from expected
                           A-25-01-M-ok.in                           
Running: Running: *** expected/A-25-01-M-ok.out	Sat Oct 19 15:14:49 2024
--- checked-out/079/079_A-25-01-M-ok.out	Sat Oct 26 00:58:12 2024
      ZONE  1      
*** 40,52 ****
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
--- 40,54 ----
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet1' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
! Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet1' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
! Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
  3 - Vacinar animal
      ZONE  2      
*** 112,118 ****
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: A vacina 'Vac2' não é apropiada para o animal 'AA3'.
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
--- 114,120 ----
  3 - Vacinar animal
  4 - Mostrar vacinações
  0 - Sair
! Escolha uma opção: Identificador da vacina: Identficador do veterinário a ministrar a vacina: Identificador único do animal: Vacinar animal: Operação inválida: O veterinário 'Vet2' não pode ministrar vacinas à espécie 'Veterinário não autorizado.'
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
      ZONE  3      
*** 137,144 ****
  3 - Actos médicos de um veterinário
  4 - Vacinações com problemas
  0 - Sair
! Escolha uma opção: REGISTO-VACINA|Vac2|Vet2|E2
! Consultas
  1 - Animais de um habitat
  2 - Actos médicos num animal
  3 - Actos médicos de um veterinário
--- 139,145 ----
  3 - Actos médicos de um veterinário
  4 - Vacinações com problemas
  0 - Sair
! Escolha uma opção: Consultas
  1 - Animais de um habitat
  2 - Actos médicos num animal
  3 - Actos médicos de um veterinário
output differs from expected