Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Draft
wants to merge 88 commits into
base: master
Choose a base branch
from

Merge remote-tracking branch 'origin/master' into als/master

f2a2d95
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

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

Merge remote-tracking branch 'origin/master' into als/master
f2a2d95
Select commit
Loading
Failed to load commit list.
GitHub Actions / Test Report succeeded Dec 12, 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✅ 15s
test/de.cau.cs.kieler.cli.test/target/surefire-reports/TEST-de.cau.cs.kieler.cli.test.GeneralCLITest.xml 13✅ 63s
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⚪ 1s
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✅ 83ms
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✅ 2s
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreSccControlFlowSimulationTest.xml 1✅ 393ms
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreSccSimulationTest.xml 1✅ 852ms
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreV6SimulationTest.xml 1⚪ 94ms
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✅ 11s
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✅ 280ms
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⚪ 64ms
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.structure.SCChartsReferencesTest.xml 2✅ 80ms
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 20ms

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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