Skip to content

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

Various improvements and new features for OO and timed SCCharts

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

GitHub Actions / Test Report succeeded Nov 5, 2024 in 1s

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✅ 18s
test/de.cau.cs.kieler.cli.test/target/surefire-reports/TEST-de.cau.cs.kieler.cli.test.GeneralCLITest.xml 13✅ 64s
test/de.cau.cs.kieler.cli.test/target/surefire-reports/TEST-de.cau.cs.kieler.cli.test.SCChartsCLITest.xml 9✅ 39s
test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.compiler.EsterelSCLCompilationTest.xml 4✅ 2s
test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.compiler.SCCCompilationTest.xml 1⚪ 2s
test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.parser.EsterelParserTest.xml 2✅ 2s
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✅ 60ms
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✅ 5s
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.parser.LustreParserTest.xml 2✅ 1s
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreSccControlFlowSimulationTest.xml 1✅ 351ms
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreSccSimulationTest.xml 1✅ 683ms
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreV6SimulationTest.xml 1⚪ 92ms
test/de.cau.cs.kieler.sccharts.test.simulation/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.simulation.SCChartsSimulationMustFailTest.xml 3ms
test/de.cau.cs.kieler.sccharts.test.simulation/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.simulation.SCChartsSimulationTest.xml 12✅ 14s
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✅ 265ms
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.compiler.SCChartsNormalizationTest.xml 4✅ 7s
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.compiler.SCGDependencyTest.xml 2⚪ 91ms
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.structure.SCChartsReferencesTest.xml 2✅ 69ms
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 22ms

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

3 tests were completed in 18s with 3 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.cli.test.DiagramCLITest 3✅ 18s

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

13 tests were completed in 64s with 13 passed, 0 failed and 0 skipped.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

✅ 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 3ms

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

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

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

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.sccharts.test.compiler.SCChartsNetlistTransformationTest 2✅ 265ms

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

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

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

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

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

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

✅ 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 22ms