-
- Downloads
Collect coverage information for Toolbox (UI) tests.
Based on http://www.eclipsophy.com/2014/01/tychojunitjacoco-for-industrial-sql.html all coverage information has to be aggregated into a single jacoco.exec file though if results should go to SonarQube. [Build]
Showing
- org.lamport.tla.toolbox.test/pom.xml 18 additions, 2 deletionsorg.lamport.tla.toolbox.test/pom.xml
- org.lamport.tla.toolbox.tool.tla2tex.uitest/pom.xml 17 additions, 1 deletionorg.lamport.tla.toolbox.tool.tla2tex.uitest/pom.xml
- org.lamport.tla.toolbox.tool.tlc.test/pom.xml 17 additions, 1 deletionorg.lamport.tla.toolbox.tool.tlc.test/pom.xml
- org.lamport.tla.toolbox.tool.tlc.ui.test/pom.xml 17 additions, 1 deletionorg.lamport.tla.toolbox.tool.tlc.ui.test/pom.xml
- org.lamport.tla.toolbox.tool.tlc.ui.uitest/pom.xml 17 additions, 1 deletionorg.lamport.tla.toolbox.tool.tlc.ui.uitest/pom.xml
- org.lamport.tla.toolbox.uitest/pom.xml 17 additions, 1 deletionorg.lamport.tla.toolbox.uitest/pom.xml
Please register or sign in to comment