Skip to content

Various improvements and new features for OO and timed SCCharts #294

Various improvements and new features for OO and timed SCCharts

Various improvements and new features for OO and timed SCCharts #294

GitHub Actions / Test Report succeeded Jul 29, 2024 in 0s

1388 passed, 0 failed and 4 skipped

Tests passed successfully

Report Passed Failed Skipped Time
test/de.cau.cs.kieler.cli.test/target/surefire-reports/TEST-de.cau.cs.kieler.cli.test.DiagramCLITest.xml 3✅ 16s
test/de.cau.cs.kieler.cli.test/target/surefire-reports/TEST-de.cau.cs.kieler.cli.test.GeneralCLITest.xml 13✅ 66s
test/de.cau.cs.kieler.cli.test/target/surefire-reports/TEST-de.cau.cs.kieler.cli.test.SCChartsCLITest.xml 9✅ 41s
test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.compiler.EsterelSCLCompilationTest.xml 4✅ 725ms
test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.compiler.SCCCompilationTest.xml 1⚪ 56ms
test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.parser.EsterelParserTest.xml 2✅ 5s
test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.simulation.BerryEsterelSimulationTest.xml 1✅ 3s
test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.simulation.EsterelSCLSimulationTest.xml 6✅ 5s
test/de.cau.cs.kieler.kexpressions.text.test/target/surefire-reports/TEST-de.cau.cs.kieler.kexpressions.text.test.KExtStandaloneParserTest.xml 2✅ 105ms
test/de.cau.cs.kieler.kexpressions.text.test/target/surefire-reports/TEST-de.cau.cs.kieler.kexpressions.text.test.KExtTest.xml 1320✅ 2s
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.compiler.LustreToSCCControlflowTransformationTest.xml 1✅ 2s
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.compiler.LustreToSCCTransformationTest.xml 1✅ 2s
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.parser.LustreParserTest.xml 2✅ 5s
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreSccControlFlowSimulationTest.xml 1✅ 365ms
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreSccSimulationTest.xml 1✅ 727ms
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreV6SimulationTest.xml 1⚪ 68ms
test/de.cau.cs.kieler.sccharts.test.simulation/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.simulation.SCChartsSimulationMustFailTest.xml 2ms
test/de.cau.cs.kieler.sccharts.test.simulation/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.simulation.SCChartsSimulationTest.xml 12✅ 12s
test/de.cau.cs.kieler.sccharts.test.simulation/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.simulation.SCChartsStatebasedCSimulationTest.xml 1s
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.compiler.SCChartsNetlistTransformationTest.xml 2✅ 2s
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.compiler.SCChartsNormalizationTest.xml 4✅ 4s
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.compiler.SCGDependencyTest.xml 2⚪ 62ms
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.structure.SCChartsReferencesTest.xml 2✅ 66ms
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.structure.SCChartsSerializerTest.xml 2✅ 2s
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.synthesis.DataflowSynthesisTest.xml 1s

✅ 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 66s with 13 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.cli.test.GeneralCLITest 13✅ 66s

✅ test/de.cau.cs.kieler.cli.test/target/surefire-reports/TEST-de.cau.cs.kieler.cli.test.SCChartsCLITest.xml

9 tests were completed in 41s with 9 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.cli.test.SCChartsCLITest 9✅ 41s

✅ 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 725ms with 4 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.esterel.test.compiler.EsterelSCLCompilationTest 4✅ 725ms

✅ 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 56ms with 0 passed, 0 failed and 1 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.esterel.test.compiler.SCCCompilationTest 1⚪ 56ms

✅ 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 5s with 2 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.esterel.test.parser.EsterelParserTest 2✅ 5s

✅ 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 105ms with 2 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.kexpressions.text.test.KExtStandaloneParserTest 2✅ 105ms

✅ 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 2s with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.lustre.test.compiler.LustreToSCCTransformationTest 1✅ 2s

✅ 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 5s with 2 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.lustre.test.parser.LustreParserTest 2✅ 5s

✅ 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 365ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.lustre.test.simulation.LustreSccControlFlowSimulationTest 1✅ 365ms

✅ 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 727ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.lustre.test.simulation.LustreSccSimulationTest 1✅ 727ms

✅ 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 68ms with 0 passed, 0 failed and 1 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.lustre.test.simulation.LustreV6SimulationTest 1⚪ 68ms

✅ 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 12s with 12 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.sccharts.test.simulation.SCChartsSimulationTest 12✅ 12s

✅ 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 1s

✅ test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.compiler.SCChartsNetlistTransformationTest.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.compiler.SCChartsNetlistTransformationTest 2✅ 2s

✅ 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 4s with 4 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.sccharts.test.compiler.SCChartsNormalizationTest 4✅ 4s

✅ 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 62ms with 0 passed, 0 failed and 2 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.sccharts.test.compiler.SCGDependencyTest 2⚪ 62ms

✅ 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 66ms with 2 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.sccharts.test.structure.SCChartsReferencesTest 2✅ 66ms

✅ 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 1s