Skip to content

Duarte0903/BlockDude

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 

Repository files navigation

Laboratórios de Informática I

Repositório

O sistema de controlo de versões utilizado é o git. O repositório encontra-se disponível nesta organização. Para obter o repositório na sua máquina, garanta que tem a chave pública SSH adicionada na sua conta do GitLab com o email instituicional (User Settings/SSH Keys), depois basta efetuar clone ao repositório.

$ git clone git@gitlab.com:uminho-di/li1/2122/2021li1g029.git
$ cd 2021li1g029 

Testes

O projecto contém testes unitários escritos usando a biblioteca HUnit. Os testes podem ser executados da seguinte forma.

$ ghci -i="src" -i="tests" tests/Tests.hs
>>> runTestsT1 -- Correr os testes tarefa 1
>>> runTestsT2 -- Correr os testes tarefa 2
>>> runTestsT3 -- Correr os testes tarefa 3
>>> runTestsT4 -- Correr os testes tarefa 4
>>> runAllTests -- Correr todos os testes

Grupo 29

  • A100550 Duarte Leitão;
  • A100900 João Pereira;