*** COMPILING IN ei/checked-out/058
A-01-01-M-ok.in
Running: Running: TEST PASSED!
A-01-02-M-ok.in
Running: Running: TEST PASSED!
A-01-03-M-ok.in
Running: Running: TEST PASSED!
A-01-04-M-ok.in
Running: Running: TEST PASSED!
A-01-05-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-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-04-04-M-ok.in
Running: Running: TEST PASSED!
A-04-05-M-ok.in
Running: Running: TEST PASSED!
A-04-06-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-05-04-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-06-04-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-12-M-ok.in
Running: Running: *** expected/A-07-12-M-ok.out Thu Oct 9 09:52:00 2025
--- checked-out/058/058_A-07-12-M-ok.out Fri Oct 24 11:59:47 2025
ZONE 1
*** 51,57 ****
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
! Escolha uma opção: Guardar antes de fechar? Ficheiro a abrir: Menu Principal
1 - Abrir ficheiro
2 - Guardar ficheiro
3 - Ver data
--- 51,58 ----
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
! Escolha uma opção: Ficheiro a abrir: Abrir ficheiro: Operação inválida: Problema ao abrir ficheiro: Erro a processar ficheiro s
! Menu Principal
1 - Abrir ficheiro
2 - Guardar ficheiro
3 - Ver data
ZONE 2
*** 60,63 ****
--- 61,65 ----
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
+ Escolha uma opção: Número inválido!
Escolha uma opção:
\ No newline at end of file
output differs from expected
A-07-12B-M-ok.in
Running: Running: *** expected/A-07-12B-M-ok.out Thu Oct 9 11:54:22 2025
--- checked-out/058/058_A-07-12B-M-ok.out Fri Oct 24 11:59:47 2025
ZONE 1
*** 51,57 ****
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
! Escolha uma opção: Ficheiro a abrir: Guardar antes de fechar? Menu Principal
1 - Abrir ficheiro
2 - Guardar ficheiro
3 - Ver data
--- 51,57 ----
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
! Escolha uma opção: Ficheiro a abrir: Menu Principal
1 - Abrir ficheiro
2 - Guardar ficheiro
3 - Ver data
ZONE 2
*** 60,63 ****
--- 60,64 ----
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
+ Escolha uma opção: Número inválido!
Escolha uma opção:
\ No newline at end of file
output differs from expected
A-07-13-M-ok.in
Running: Running: *** expected/A-07-13-M-ok.out Thu Oct 9 09:52:00 2025
--- checked-out/058/058_A-07-13-M-ok.out Fri Oct 24 11:59:47 2025
ZONE 1
*** 31,37 ****
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
! Escolha uma opção: Guardar antes de fechar? Ficheiro sem nome. Guardar ficheiro como: Ficheiro a abrir: Menu Principal
1 - Abrir ficheiro
2 - Guardar ficheiro
3 - Ver data
--- 31,38 ----
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
! Escolha uma opção: Ficheiro a abrir: Abrir ficheiro: Operação inválida: Problema ao abrir ficheiro: Erro a processar ficheiro s
! Menu Principal
1 - Abrir ficheiro
2 - Guardar ficheiro
3 - Ver data
ZONE 2
*** 40,45 ****
--- 41,48 ----
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
+ Escolha uma opção: Número inválido!
+ Escolha uma opção: Número inválido!
Escolha uma opção: Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
ZONE 3
*** 47,53 ****
4 - Mostrar notificações de utente
5 - Saldar multa de utente
0 - Sair
! Escolha uma opção: Introduza o número de utente: 1 - Obi-Wan Kenobi - obiwan@jedi.org - NORMAL - ACTIVO
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
--- 50,56 ----
4 - Mostrar notificações de utente
5 - Saldar multa de utente
0 - Sair
! Escolha uma opção: Introduza o número de utente: 1 - Darth Vader - darth@dark.force.coAm - NORMAL - ACTIVO
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
ZONE 4
*** 55,62 ****
4 - Mostrar notificações de utente
5 - Saldar multa de utente
0 - Sair
! Escolha uma opção: 1 - Obi-Wan Kenobi - obiwan@jedi.org - NORMAL - ACTIVO
! 2 - we - we@we.com - NORMAL - ACTIVO
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
--- 58,67 ----
4 - Mostrar notificações de utente
5 - Saldar multa de utente
0 - Sair
! Escolha uma opção: 1 - Darth Vader - darth@dark.force.coAm - NORMAL - ACTIVO
! 2 - Luke Skywalker - last.jedi@universe.com - NORMAL - ACTIVO
! 3 - Obi-Wan Kenobi - obiwan@jedi.org - NORMAL - ACTIVO
! 4 - Utente Novo - novo@tecnico.ulisboa.pt - NORMAL - ACTIVO
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
output differs from expected
A-07-13B-M-ok.in
Running: Running: *** expected/A-07-13B-M-ok.out Thu Oct 9 11:54:22 2025
--- checked-out/058/058_A-07-13B-M-ok.out Fri Oct 24 11:59:48 2025
ZONE 1
*** 31,37 ****
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
! Escolha uma opção: Ficheiro a abrir: Guardar antes de fechar? Ficheiro sem nome. Guardar ficheiro como: Menu Principal
1 - Abrir ficheiro
2 - Guardar ficheiro
3 - Ver data
--- 31,37 ----
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
! Escolha uma opção: Ficheiro a abrir: Menu Principal
1 - Abrir ficheiro
2 - Guardar ficheiro
3 - Ver data
ZONE 2
*** 40,45 ****
--- 40,47 ----
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
+ Escolha uma opção: Número inválido!
+ Escolha uma opção: Número inválido!
Escolha uma opção: Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
output differs from expected
A-07-14-M-ok.in
Running: Running: *** expected/A-07-14-M-ok.out Thu Oct 9 09:52:00 2025
--- checked-out/058/058_A-07-14-M-ok.out Fri Oct 24 11:59:48 2025
ZONE 1
*** 26,32 ****
Escolha uma opção: 1 - Darth Vader - darth@dark.force.coAm - NORMAL - ACTIVO
2 - Luke Skywalker - last.jedi@universe.com - NORMAL - ACTIVO
3 - Obi-Wan Kenobi - obiwan@jedi.org - NORMAL - ACTIVO
- 4 - Utente Novo - novo@tecnico.ulisboa.pt - NORMAL - ACTIVO
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
--- 26,31 ----
output differs from expected
A-07-15-M-ok.in
Running: Running: *** expected/A-07-15-M-ok.out Thu Oct 9 09:52:00 2025
--- checked-out/058/058_A-07-15-M-ok.out Fri Oct 24 11:59:48 2025
ZONE 1
*** 26,32 ****
Escolha uma opção: 1 - Darth Vader - darth@dark.force.coAm - NORMAL - ACTIVO
2 - Luke Skywalker - last.jedi@universe.com - NORMAL - ACTIVO
3 - Obi-Wan Kenobi - obiwan@jedi.org - NORMAL - ACTIVO
- 4 - Utente Novo - novo@tecnico.ulisboa.pt - NORMAL - ACTIVO
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
--- 26,31 ----
ZONE 2
*** 34,40 ****
4 - Mostrar notificações de utente
5 - Saldar multa de utente
0 - Sair
! Escolha uma opção: Introduza o nome do utente: Introduza o endereço de correio do utente: Novo utente criado com o número 5.
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
--- 33,39 ----
4 - Mostrar notificações de utente
5 - Saldar multa de utente
0 - Sair
! Escolha uma opção: Introduza o nome do utente: Introduza o endereço de correio do utente: Novo utente criado com o número 4.
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
output differs from expected
A-07-16-M-ok.in
Running: Running: *** expected/A-07-16-M-ok.out Thu Oct 9 09:52:00 2025
--- checked-out/058/058_A-07-16-M-ok.out Fri Oct 24 11:59:48 2025
ZONE 1
*** 31,37 ****
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
! Escolha uma opção: Guardar antes de fechar? Ficheiro a abrir: Menu Principal
1 - Abrir ficheiro
2 - Guardar ficheiro
3 - Ver data
--- 31,38 ----
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
! Escolha uma opção: Ficheiro a abrir: Abrir ficheiro: Operação inválida: Problema ao abrir ficheiro: Erro a processar ficheiro n
! Menu Principal
1 - Abrir ficheiro
2 - Guardar ficheiro
3 - Ver data
ZONE 2
*** 40,45 ****
--- 41,47 ----
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
+ Escolha uma opção: Número inválido!
Escolha uma opção: Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
ZONE 3
*** 47,54 ****
4 - Mostrar notificações de utente
5 - Saldar multa de utente
0 - Sair
! Escolha uma opção: 1 - Obi-Wan Kenobi - obiwan@jedi.org - NORMAL - ACTIVO
! 2 - we - we@we.com - NORMAL - ACTIVO
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
--- 49,56 ----
4 - Mostrar notificações de utente
5 - Saldar multa de utente
0 - Sair
! Escolha uma opção: 1 - Luke Skywalker - last.jedi@universe.com - NORMAL - ACTIVO
! 2 - Yodi - yodi@force - NORMAL - ACTIVO
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
output differs from expected
A-07-16B-M-ok.in
Running: Running: *** expected/A-07-16B-M-ok.out Thu Oct 9 11:54:22 2025
--- checked-out/058/058_A-07-16B-M-ok.out Fri Oct 24 11:59:49 2025
ZONE 1
*** 31,37 ****
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
! Escolha uma opção: Ficheiro a abrir: Guardar antes de fechar? Menu Principal
1 - Abrir ficheiro
2 - Guardar ficheiro
3 - Ver data
--- 31,37 ----
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
! Escolha uma opção: Ficheiro a abrir: Menu Principal
1 - Abrir ficheiro
2 - Guardar ficheiro
3 - Ver data
ZONE 2
*** 40,45 ****
--- 40,46 ----
6 - Menu de gestão de obras
7 - Menu de gestão de requisições
0 - Sair
+ Escolha uma opção: Número inválido!
Escolha uma opção: Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
output differs from expected
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: *** expected/A-08-04-M-ok.out Thu Oct 9 09:52:00 2025
--- checked-out/058/058_A-08-04-M-ok.out Fri Oct 24 11:59:49 2025
ZONE 1
*** 22,28 ****
4 - Mostrar notificações de utente
5 - Saldar multa de utente
0 - Sair
! Escolha uma opção: Introduza o nome do utente: Introduza o endereço de correio do utente: Novo utente criado com o número 4.
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
--- 22,28 ----
4 - Mostrar notificações de utente
5 - Saldar multa de utente
0 - Sair
! Escolha uma opção: Introduza o nome do utente: Introduza o endereço de correio do utente: Novo utente criado com o número 5.
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
ZONE 2
*** 33,39 ****
Escolha uma opção: 1 - Darth Vader - darth@dark.force.com - NORMAL - ACTIVO
2 - Luke Skywalker - last.jedi@universe.com - NORMAL - ACTIVO
3 - Obi-Wan Kenobi - obiwan@jedi.org - NORMAL - ACTIVO
! 4 - X - 3 - NORMAL - ACTIVO
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
--- 33,39 ----
Escolha uma opção: 1 - Darth Vader - darth@dark.force.com - NORMAL - ACTIVO
2 - Luke Skywalker - last.jedi@universe.com - NORMAL - ACTIVO
3 - Obi-Wan Kenobi - obiwan@jedi.org - NORMAL - ACTIVO
! 5 - X - 3 - NORMAL - ACTIVO
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
output differs from expected
A-08-05-M-ok.in
Running: Running: *** expected/A-08-05-M-ok.out Thu Oct 9 09:52:00 2025
--- checked-out/058/058_A-08-05-M-ok.out Fri Oct 24 11:59:50 2025
ZONE 1
*** 22,28 ****
4 - Mostrar notificações de utente
5 - Saldar multa de utente
0 - Sair
! Escolha uma opção: Introduza o nome do utente: Introduza o endereço de correio do utente: Novo utente criado com o número 4.
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
--- 22,28 ----
4 - Mostrar notificações de utente
5 - Saldar multa de utente
0 - Sair
! Escolha uma opção: Introduza o nome do utente: Introduza o endereço de correio do utente: Novo utente criado com o número 5.
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
ZONE 2
*** 33,39 ****
Escolha uma opção: 1 - Darth Vader - darth@dark.force.com - NORMAL - ACTIVO
2 - Luke Skywalker - last.jedi@universe.com - NORMAL - ACTIVO
3 - Obi-Wan Kenobi - obiwan@jedi.org - NORMAL - ACTIVO
! 4 - Y - 3 - NORMAL - ACTIVO
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
--- 33,39 ----
Escolha uma opção: 1 - Darth Vader - darth@dark.force.com - NORMAL - ACTIVO
2 - Luke Skywalker - last.jedi@universe.com - NORMAL - ACTIVO
3 - Obi-Wan Kenobi - obiwan@jedi.org - NORMAL - ACTIVO
! 5 - Y - 3 - NORMAL - ACTIVO
Menu de Gestão de Utentes
1 - Registar utente
2 - Mostrar utente
output differs from expected
A-15-01-M-ok.in
Running: Running: TEST PASSED!
A-15-02-M-ok.in
Running: Running: TEST PASSED!
A-15-03-M-ok.in
Running: Running: TEST PASSED!
A-15-04-M-ok.in
Running: Running: TEST PASSED!
A-15-05-M-ok.in
Running: Running: TEST PASSED!
A-15-06-M-ok.in
Running: Running: TEST PASSED!
A-15-07-M-ok.in
Running: Running: TEST PASSED!