Merge branch 'SalvaBranch2' into 'master'
Changed read of xml as text file and solved some issues with timeouts See merge request saref/saref-pipeline!10
No related branches found
No related tags found
Showing
- src/main/java/fr/emse/gitlab/saref/checkers/Clause_9_4_5_Checker.java 104 additions, 50 deletions...a/fr/emse/gitlab/saref/checkers/Clause_9_4_5_Checker.java
- src/main/java/fr/emse/gitlab/saref/checkers/Clause_9_5_Checker.java 20 additions, 20 deletions...ava/fr/emse/gitlab/saref/checkers/Clause_9_5_Checker.java
- src/main/java/fr/emse/gitlab/saref/managers/OopsManager.java 0 additions, 103 deletionssrc/main/java/fr/emse/gitlab/saref/managers/OopsManager.java
Loading
Please register or sign in to comment