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

Added all Missing ELK Algorithms to the Language Server. #121

Merged
merged 1 commit into from
Oct 14, 2024

language server: added all (missing) ELK algorithms to the language

aa59be0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Added all Missing ELK Algorithms to the Language Server. #121

language server: added all (missing) ELK algorithms to the language
aa59be0
Select commit
Loading
Failed to load commit list.
GitHub Actions / Test Report succeeded Oct 14, 2024 in 1s

1390 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✅ 14s
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✅ 38s
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✅ 103ms
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✅ 6s
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✅ 375ms
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⚪ 91ms
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✅ 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 4✅ 339ms
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⚪ 49ms
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.structure.SCChartsReferencesTest.xml 2✅ 64ms
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.structure.SCChartsSerializerTest.xml 2✅ 3s
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.synthesis.DataflowSynthesisTest.xml 17ms

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

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

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

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

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

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

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

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

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

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

4 tests were completed in 339ms with 4 passed, 0 failed and 0 skipped.

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

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

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

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

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

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

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.sccharts.test.structure.SCChartsSerializerTest 2✅ 3s

✅ 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