Merge pull request #105 from kieler/nre/synthesisHookPriority #247
GitHub Actions / Test Report
succeeded
Feb 27, 2024 in 0s
1390 passed, 0 failed and 4 skipped
✅ test/de.cau.cs.kieler.cli.test/target/surefire-reports/TEST-de.cau.cs.kieler.cli.test.DiagramCLITest.xml
3 tests were completed in 16s with 3 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.cli.test.DiagramCLITest | 3✅ | 16s |
✅ test/de.cau.cs.kieler.cli.test/target/surefire-reports/TEST-de.cau.cs.kieler.cli.test.GeneralCLITest.xml
13 tests were completed in 63s with 13 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.cli.test.GeneralCLITest | 13✅ | 63s |
✅ test/de.cau.cs.kieler.cli.test/target/surefire-reports/TEST-de.cau.cs.kieler.cli.test.SCChartsCLITest.xml
9 tests were completed in 38s with 9 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.cli.test.SCChartsCLITest | 9✅ | 38s |
✅ test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.compiler.EsterelSCLCompilationTest.xml
4 tests were completed in 3s with 4 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.esterel.test.compiler.EsterelSCLCompilationTest | 4✅ | 3s |
✅ test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.compiler.SCCCompilationTest.xml
1 tests were completed in 2s with 0 passed, 0 failed and 1 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.esterel.test.compiler.SCCCompilationTest | 1⚪ | 2s |
✅ test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.parser.EsterelParserTest.xml
2 tests were completed in 2s with 2 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.esterel.test.parser.EsterelParserTest | 2✅ | 2s |
✅ test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.simulation.BerryEsterelSimulationTest.xml
1 tests were completed in 3s with 1 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.esterel.test.simulation.BerryEsterelSimulationTest | 1✅ | 3s |
✅ test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.simulation.EsterelSCLSimulationTest.xml
6 tests were completed in 5s with 6 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.esterel.test.simulation.EsterelSCLSimulationTest | 6✅ | 5s |
✅ test/de.cau.cs.kieler.kexpressions.text.test/target/surefire-reports/TEST-de.cau.cs.kieler.kexpressions.text.test.KExtStandaloneParserTest.xml
2 tests were completed in 93ms with 2 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.kexpressions.text.test.KExtStandaloneParserTest | 2✅ | 93ms |
✅ test/de.cau.cs.kieler.kexpressions.text.test/target/surefire-reports/TEST-de.cau.cs.kieler.kexpressions.text.test.KExtTest.xml
1320 tests were completed in 2s with 1320 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.kexpressions.text.test.KExtTest | 1320✅ | 2s |
✅ test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.compiler.LustreToSCCControlflowTransformationTest.xml
1 tests were completed in 2s with 1 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.lustre.test.compiler.LustreToSCCControlflowTransformationTest | 1✅ | 2s |
✅ test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.compiler.LustreToSCCTransformationTest.xml
1 tests were completed in 6s with 1 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.lustre.test.compiler.LustreToSCCTransformationTest | 1✅ | 6s |
✅ test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.parser.LustreParserTest.xml
2 tests were completed in 885ms with 2 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.lustre.test.parser.LustreParserTest | 2✅ | 885ms |
✅ test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreSccControlFlowSimulationTest.xml
1 tests were completed in 369ms with 1 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.lustre.test.simulation.LustreSccControlFlowSimulationTest | 1✅ | 369ms |
✅ test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreSccSimulationTest.xml
1 tests were completed in 855ms with 1 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.lustre.test.simulation.LustreSccSimulationTest | 1✅ | 855ms |
✅ test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreV6SimulationTest.xml
1 tests were completed in 93ms with 0 passed, 0 failed and 1 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.lustre.test.simulation.LustreV6SimulationTest | 1⚪ | 93ms |
✅ test/de.cau.cs.kieler.sccharts.test.simulation/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.simulation.SCChartsSimulationMustFailTest.xml
No tests found
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.sccharts.test.simulation.SCChartsSimulationMustFailTest | 2ms |
✅ test/de.cau.cs.kieler.sccharts.test.simulation/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.simulation.SCChartsSimulationTest.xml
12 tests were completed in 13s with 12 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.sccharts.test.simulation.SCChartsSimulationTest | 12✅ | 13s |
✅ test/de.cau.cs.kieler.sccharts.test.simulation/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.simulation.SCChartsStatebasedCSimulationTest.xml
No tests found
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.sccharts.test.simulation.SCChartsStatebasedCSimulationTest | 18ms |
✅ test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.compiler.SCChartsNetlistTransformationTest.xml
4 tests were completed in 440ms with 4 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.sccharts.test.compiler.SCChartsNetlistTransformationTest | 4✅ | 440ms |
✅ test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.compiler.SCChartsNormalizationTest.xml
4 tests were completed in 5s with 4 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.sccharts.test.compiler.SCChartsNormalizationTest | 4✅ | 5s |
✅ test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.compiler.SCGDependencyTest.xml
2 tests were completed in 2s with 0 passed, 0 failed and 2 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.sccharts.test.compiler.SCGDependencyTest | 2⚪ | 2s |
✅ test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.structure.SCChartsReferencesTest.xml
2 tests were completed in 48ms with 2 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.sccharts.test.structure.SCChartsReferencesTest | 2✅ | 48ms |
✅ test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.structure.SCChartsSerializerTest.xml
2 tests were completed in 2s with 2 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.sccharts.test.structure.SCChartsSerializerTest | 2✅ | 2s |
✅ test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.synthesis.DataflowSynthesisTest.xml
No tests found
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| de.cau.cs.kieler.sccharts.test.synthesis.DataflowSynthesisTest | 17ms |
Loading