*** COMPILING IN ef/checked-out/081
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: *** expected/A-06-01-M-ok.out Fri Oct 18 19:27:35 2024
--- checked-out/081/081_A-06-01-M-ok.out Sat Oct 26 00:58:22 2024
ZONE 1
*** 10,17 ****
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: 1
! Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
--- 10,16 ----
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
ZONE 2
*** 23,30 ****
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: 2
! Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
--- 22,28 ----
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
output differs from expected
A-06-02-M-ok.in
Running: Running: *** expected/A-06-02-M-ok.out Fri Oct 18 19:27:35 2024
--- checked-out/081/081_A-06-02-M-ok.out Sat Oct 26 00:58:22 2024
ZONE 1
*** 10,17 ****
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: 1
! Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
--- 10,16 ----
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
ZONE 2
*** 23,30 ****
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: 2
! Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
--- 22,28 ----
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
ZONE 3
*** 36,43 ****
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: 3
! Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
--- 34,40 ----
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
ZONE 4
*** 49,56 ****
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: 0
! Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
--- 46,52 ----
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
ZONE 5
*** 62,69 ****
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: 1
! Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
--- 58,64 ----
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
ZONE 6
*** 75,82 ****
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: 2
! Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
--- 70,76 ----
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
output differs from expected
A-06-03-M-ok.in
Running: Running: *** expected/A-06-03-M-ok.out Fri Oct 18 19:27:35 2024
--- checked-out/081/081_A-06-03-M-ok.out Sat Oct 26 00:58:22 2024
ZONE 1
*** 22,29 ****
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: 3
! Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
--- 22,28 ----
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
output differs from expected
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: *** expected/A-07-12-M-ok.out Fri Oct 18 19:27:35 2024
--- checked-out/081/081_A-07-12-M-ok.out Sat Oct 26 00:58:23 2024
ZONE 1
*** 39,46 ****
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: 1
! Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
--- 39,45 ----
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
ZONE 2
*** 60,66 ****
5 - Plantar árvore
6 - Mostrar árvores de habitat
0 - Sair
! Escolha uma opção: Identificador único do habitat: ÁRVORE|t1|t1|1|1|CADUCA|COMFOLHAS
Gestão de Habitats
1 - Visualizar todos os habitats
2 - Registar habitat
--- 59,65 ----
5 - Plantar árvore
6 - Mostrar árvores de habitat
0 - Sair
! Escolha uma opção: Identificador único do habitat: ÁRVORE|t1|t1|1|1|CADUCA|GERARFOLHAS
Gestão de Habitats
1 - Visualizar todos os habitats
2 - Registar habitat
ZONE 3
*** 81,88 ****
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: 2
! Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
--- 80,86 ----
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
ZONE 4
*** 102,108 ****
5 - Plantar árvore
6 - Mostrar árvores de habitat
0 - Sair
! Escolha uma opção: Identificador único do habitat: ÁRVORE|t1|t1|1|1|CADUCA|LARGARFOLHAS
Gestão de Habitats
1 - Visualizar todos os habitats
2 - Registar habitat
--- 100,106 ----
5 - Plantar árvore
6 - Mostrar árvores de habitat
0 - Sair
! Escolha uma opção: Identificador único do habitat: ÁRVORE|t1|t1|1|1|CADUCA|GERARFOLHAS
Gestão de Habitats
1 - Visualizar todos os habitats
2 - Registar habitat
ZONE 5
*** 123,130 ****
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: 3
! Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
--- 121,127 ----
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
ZONE 6
*** 144,150 ****
5 - Plantar árvore
6 - Mostrar árvores de habitat
0 - Sair
! Escolha uma opção: Identificador único do habitat: ÁRVORE|t1|t1|1|1|CADUCA|SEMFOLHAS
Gestão de Habitats
1 - Visualizar todos os habitats
2 - Registar habitat
--- 141,147 ----
5 - Plantar árvore
6 - Mostrar árvores de habitat
0 - Sair
! Escolha uma opção: Identificador único do habitat: ÁRVORE|t1|t1|1|1|CADUCA|GERARFOLHAS
Gestão de Habitats
1 - Visualizar todos os habitats
2 - Registar habitat
output differs from expected
A-08-01-M-ok.in
Running: Running: *** expected/A-08-01-M-ok.out Fri Oct 18 19:27:35 2024
--- checked-out/081/081_A-08-01-M-ok.out Sat Oct 26 00:58:23 2024
ZONE 1
*** 10,17 ****
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: 0
! Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
--- 10,16 ----
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
output differs from expected
A-08-02-M-ok.in
Running: Running: *** expected/A-08-02-M-ok.out Fri Oct 18 19:27:35 2024
--- checked-out/081/081_A-08-02-M-ok.out Sat Oct 26 00:58:23 2024
ZONE 1
*** 10,17 ****
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: 96
! Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar ficheiro
--- 10,16 ----
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção: Menu Principal
1 - Criar ficheiro
2 - Abrir ficheiro
3 - Guardar 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: TEST PASSED!
A-21-05-M-ok.in
Running: Running: TEST PASSED!
A-21-06-M-ok.in
Running: Running: *** expected/A-21-06-M-ok.out Fri Oct 18 19:27:35 2024
--- checked-out/081/081_A-21-06-M-ok.out Sat Oct 26 00:58:27 2024
ZONE 1
*** 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
--- 40,46 ----
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|VOID|H1
Gestão de Animais
output differs from expected
A-21-07-M-ok.in
Running: Running: TEST PASSED!
A-21-08-M-ok.in
Running: Running: *** expected/A-21-08-M-ok.out Fri Oct 18 19:27:35 2024
--- checked-out/081/081_A-21-08-M-ok.out Sat Oct 26 00:58:27 2024
ZONE 1
*** 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
--- 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|ACIDENTE|H1
! ANIMAL|AA3|Malhado|E2|ACIDENTE|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/081/081_A-21-10-M-ok.out Sat Oct 26 00:58:27 2024
ZONE 1
*** 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|ACIDENTE|H1
! ANIMAL|AA3|Malhado|E2|ACIDENTE|H1
Gestão de Animais
1 - Visualizar todos os animais
2 - Registar animal
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/081/081_A-21-13-M-ok.out Sat Oct 26 00:58:28 2024
ZONE 1
*** 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: 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
3 - Vacinar animal
--- 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
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
--- 46,54 ----
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
ZONE 3
*** 69,72 ****
9 - Gestão de vacinas
10 - Consultas
0 - Sair
! Escolha uma opção:
--- 67,70 ----
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/081/081_A-21-14-M-ok.out Sat Oct 26 00:58:28 2024
ZONE 1
*** 17,31 ****
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
3 - Vacinar animal
--- 17,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: 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
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: TEST PASSED!
A-24-03-M-ok.in
Running: Running: TEST PASSED!
A-25-01-M-ok.in
Running: Running: *** expected/A-25-01-M-ok.out Sat Oct 19 15:14:49 2024
--- checked-out/081/081_A-25-01-M-ok.out Sat Oct 26 00:58:28 2024
ZONE 1
*** 70,76 ****
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
--- 70,78 ----
3 - Actos médicos de um veterinário
4 - Vacinações com problemas
0 - Sair
! Escolha uma opção: REGISTO-VACINA|Vac3|Vet1|E1
! REGISTO-VACINA|Vac3|Vet1|E1
! Consultas
1 - Animais de um habitat
2 - Actos médicos num animal
3 - Actos médicos de um veterinário
ZONE 2
*** 112,119 ****
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
3 - Vacinar animal
--- 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: Gestão de Vacinas
1 - Visualizar todas as vacinas
2 - Registar vacina
3 - Vacinar animal
ZONE 3
*** 137,143 ****
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
--- 138,146 ----
3 - Actos médicos de um veterinário
4 - Vacinações com problemas
0 - Sair
! Escolha uma opção: REGISTO-VACINA|Vac3|Vet1|E1
! REGISTO-VACINA|Vac3|Vet1|E1
! REGISTO-VACINA|Vac2|Vet2|E2
Consultas
1 - Animais de um habitat
2 - Actos médicos num animal
output differs from expected