*** COMPILING IN ef/checked-out/091
                           A-01-32-M-ok.in                           
Running: Running: TEST PASSED!
                           A-01-33-M-ok.in                           
Running: Running: TEST PASSED!
                           A-01-34-M-ok.in                           
Running: Running: TEST PASSED!
                           A-01-35-M-ok.in                           
Running: Running: TEST PASSED!
                           A-01-36-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-04-M-ok.in                           
Running: Running: TEST PASSED!
                           A-02-05-M-ok.in                           
Running: Running: TEST PASSED!
                           A-02-06-M-ok.in                           
Running: Running: TEST PASSED!
                           A-02-07-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-03-04-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-04-03-M-ok.in                           
Running: Running: TEST PASSED!
                           A-05-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-05-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-05-03-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-06-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-07-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-08-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-11-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-12-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-13-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-14-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-15-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-16-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-17-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-18-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-19-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-20-M-ok.in                           
Running: Running: TEST PASSED!
                           A-07-21-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: TEST PASSED!
                           A-08-03-M-ok.in                           
Running: Running: TEST PASSED!
                           A-08-04-M-ok.in                           
Running: Running: TEST PASSED!
                           A-08-05-M-ok.in                           
Running: Running: TEST PASSED!
                           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-04-M-ok.in                           
Running: Running: TEST PASSED!
                           A-09-05-M-ok.in                           
Running: Running: TEST PASSED!
                           A-09-06-M-ok.in                           
Running: Running: TEST PASSED!
                           A-09-07-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-10-05-M-ok.in                           
Running: Running: TEST PASSED!
                           A-10-06-M-ok.in                           
Running: Running: TEST PASSED!
                           A-10-07-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-03-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-06-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-07-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-08-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-09-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-10-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-13-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-14-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-15-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-16-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-17-M-ok.in                           
Running: Running: TEST PASSED!
                           A-11-18-M-ok.in                           
Running: Running: TEST PASSED!
                           A-12-01-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-16-04-M-ok.in                           
Running: Running: TEST PASSED!
                           A-16-05-M-ok.in                           
Running: Running: TEST PASSED!
                           A-16-06-M-ok.in                           
Running: Running: TEST PASSED!
                           A-17-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-17-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-17-03-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-07-M-ok.in                           
Running: Running: TEST PASSED!
                           A-17-08-M-ok.in                           
Running: Running: TEST PASSED!
                           A-17-09-M-ok.in                           
Running: Running: TEST PASSED!
                           A-17-10-M-ok.in                           
Running: Running: TEST PASSED!
                           A-18-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-18-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-18-03-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-18-06-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-05-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-06-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-07-M-ok.in                           
Running: Running: *** expected/A-19-07-M-ok.out	Sat Oct 26 12:46:25 2024
--- checked-out/091/091_A-19-07-M-ok.out	Sat Oct 26 20:20:09 2024
      ZONE  1      
*** 25,31 ****
  4 - Retirar responsabilidade
  5 - Calcular satisfação de funcionário
  0 - Sair
! Escolha uma opção: Identificador único do funcionário: 19
  Gestão de Funcionários
  1 - Visualizar todos os funcionários
  2 - Registar funcionário
--- 25,31 ----
  4 - Retirar responsabilidade
  5 - Calcular satisfação de funcionário
  0 - Sair
! Escolha uma opção: Identificador único do funcionário: 20
  Gestão de Funcionários
  1 - Visualizar todos os funcionários
  2 - Registar funcionário
      ZONE  2      
*** 33,39 ****
  4 - Retirar responsabilidade
  5 - Calcular satisfação de funcionário
  0 - Sair
! Escolha uma opção: Identificador único do funcionário: 19
  Gestão de Funcionários
  1 - Visualizar todos os funcionários
  2 - Registar funcionário
--- 33,39 ----
  4 - Retirar responsabilidade
  5 - Calcular satisfação de funcionário
  0 - Sair
! Escolha uma opção: Identificador único do funcionário: 20
  Gestão de Funcionários
  1 - Visualizar todos os funcionários
  2 - Registar funcionário
output differs from expected
                           A-19-08-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-12-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-13-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-14-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-15-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-16-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-17-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-18-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-19-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-20-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-21-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-22-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-23-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-24-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-25-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-26-M-ok.in                           
Running: Running: TEST PASSED!
                           A-19-27-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-03-M-ok.in                           
Running: Running: TEST PASSED!
                           A-20-04-M-ok.in                           
Running: Running: TEST PASSED!
                           A-20-05-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-01-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: TEST PASSED!
                           A-21-04-M-ok.in                           
Running: Running: *** expected/A-21-04-M-ok.out	Sat Oct 26 12:46:25 2024
--- checked-out/091/091_A-21-04-M-ok.out	Sat Oct 26 20:20: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: Vacinar animal: Operação inválida: O veterinário 'Vet2' não pode ministrar vacinas à espécie 'E1'
  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 'Vet2' não pode ministrar vacinas à espécie '|E2'
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
output differs from expected
                           A-21-05-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-06-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-07-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-08-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-09-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-10-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-11-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-12-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-13-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-14-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-15-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-16-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-17-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-18-M-ok.in                           
Running: Running: *** expected/A-21-18-M-ok.out	Sat Oct 26 12:46:25 2024
--- checked-out/091/091_A-21-18-M-ok.out	Sat Oct 26 20:20:14 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: O veterinário 'Vet2' não pode ministrar vacinas à espécie 'E1'
  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 'Vet2' não pode ministrar vacinas à espécie '|E2'
  Gestão de Vacinas
  1 - Visualizar todas as vacinas
  2 - Registar vacina
output differs from expected
                           A-21-19-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-20-M-ok.in                           
Running: Running: TEST PASSED!
                           A-21-21-M-ok.in                           
Running: Running: TEST PASSED!
                           A-22-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-22-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-22-03-M-ok.in                           
Running: Running: TEST PASSED!
                           A-22-04-M-ok.in                           
Running: Running: TEST PASSED!
                           A-22-05-M-ok.in                           
Running: Running: TEST PASSED!
                           A-23-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-23-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-23-03-M-ok.in                           
Running: Running: *** expected/A-23-03-M-ok.out	Sat Oct 26 12:46:25 2024
--- checked-out/091/091_A-23-03-M-ok.out	Sat Oct 26 20:20:15 2024
      ZONE  1      
*** 175,181 ****
  9 - Gestão de vacinas
  10 - Consultas
  0 - Sair
! Escolha uma opção: Menu Principal
  1 - Criar ficheiro
  2 - Abrir ficheiro
  3 - Guardar ficheiro
--- 175,181 ----
  9 - Gestão de vacinas
  10 - Consultas
  0 - Sair
! Escolha uma opção: Ficheiro sem nome. Guardar ficheiro como: Menu Principal
  1 - Criar ficheiro
  2 - Abrir ficheiro
  3 - Guardar ficheiro
      ZONE  2      
*** 187,190 ****
  9 - Gestão de vacinas
  10 - Consultas
  0 - Sair
! Escolha uma opção: 
\ No newline at end of file
--- 187,190 ----
  9 - Gestão de vacinas
  10 - Consultas
  0 - Sair
! Escolha uma opção: Fim de entrada de dados (R-EOF): pt.tecnico.uilib.text.RuntimeEOFException: Fim do fluxo de dados de entrada
output differs from expected
                           A-24-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-24-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-24-03-M-ok.in                           
Running: Running: TEST PASSED!
                           A-24-04-M-ok.in                           
Running: Running: TEST PASSED!
                           A-24-05-M-ok.in                           
Running: Running: TEST PASSED!
                           A-24-06-M-ok.in                           
Running: Running: TEST PASSED!
                           A-24-07-M-ok.in                           
Running: Running: TEST PASSED!
                           A-24-08-M-ok.in                           
Running: Running: *** expected/A-24-08-M-ok.out	Sat Oct 26 12:46:25 2024
--- checked-out/091/091_A-24-08-M-ok.out	Sat Oct 26 20:20:16 2024
      ZONE  1      
*** 34,59 ****
  REGISTO-VACINA|Vac2|Vet1|E1
  REGISTO-VACINA|Vac3|Vet1|E1
  REGISTO-VACINA|Vac1|Vet1|E1
- REGISTO-VACINA|Vac3|Vet1|E1
- REGISTO-VACINA|Vac2|Vet1|E1
  Consultas
  1 - Animais de um habitat
  2 - Actos médicos num animal
  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|Vet2|E2
! REGISTO-VACINA|Vac4|Vet2|E2
! REGISTO-VACINA|Vac4|Vet2|E2
! Consultas
  1 - Animais de um habitat
  2 - Actos médicos num animal
  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|Vac4|Vet3|E1
! REGISTO-VACINA|Vac4|Vet3|E2
! Consultas
  1 - Animais de um habitat
  2 - Actos médicos num animal
  3 - Actos médicos de um veterinário
--- 34,52 ----
  REGISTO-VACINA|Vac2|Vet1|E1
  REGISTO-VACINA|Vac3|Vet1|E1
  REGISTO-VACINA|Vac1|Vet1|E1
  Consultas
  1 - Animais de um habitat
  2 - Actos médicos num animal
  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
  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
output differs from expected
                           A-25-01-M-ok.in                           
Running: Running: TEST PASSED!
                           A-25-02-M-ok.in                           
Running: Running: TEST PASSED!
                           A-25-03-M-ok.in                           
Running: Running: TEST PASSED!
                           A-25-04-M-ok.in                           
Running: Running: TEST PASSED!
                           A-25-05-M-ok.in                           
Running: Running: TEST PASSED!
                           A-25-06-M-ok.in                           
Running: Running: *** expected/A-25-06-M-ok.out	Sat Oct 26 12:46:25 2024
--- checked-out/091/091_A-25-06-M-ok.out	Sat Oct 26 20:20:16 2024
      ZONE  1      
*** 32,39 ****
  REGISTO-VACINA|Vac2|Vet1|E1
  REGISTO-VACINA|Vac2|Vet1|E1
  REGISTO-VACINA|Vac1|Vet1|E1
- REGISTO-VACINA|Vac2|Vet1|E1
- REGISTO-VACINA|Vac3|Vet2|E2
  Consultas
  1 - Animais de um habitat
  2 - Actos médicos num animal
--- 32,37 ----
output differs from expected