Skip to content

parser: Fix crash in higher order macros with too many arguments

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

parser: Fix crash in higher order macros with too many arguments #645

parser: Fix crash in higher order macros with too many arguments
67a63f9
Select commit
Loading
Failed to load commit list.
GitHub Actions / report test-common succeeded Jan 3, 2026 in 0s

3047 passed, 0 failed and 0 skipped

Tests passed successfully

Report Passed Failed Skipped Time
vadl/build/test-results/test-others/TEST-vadl.AnnotationRuleParametersTest.xml 1✅ 3s
vadl/build/test-results/test-others/TEST-vadl.AnnotationRuleTest.xml 2✅ 2s
vadl/build/test-results/test-others/TEST-vadl.ArchitectureTest.xml 1✅ 1s
vadl/build/test-results/test-others/TEST-vadl.ast.AliasDefinitionTest.xml 1✅ 83ms
vadl/build/test-results/test-others/TEST-vadl.ast.AsmDescriptionTests.xml 20✅ 114ms
vadl/build/test-results/test-others/TEST-vadl.ast.AsmGrammarTests.xml 33✅ 126ms
vadl/build/test-results/test-others/TEST-vadl.ast.AsmLL1CheckerTest.xml 25✅ 233ms
vadl/build/test-results/test-others/TEST-vadl.ast.AstDumpTests.xml 4✅ 95ms
vadl/build/test-results/test-others/TEST-vadl.ast.AstMacroTests.xml 8✅ 197ms
vadl/build/test-results/test-others/TEST-vadl.ast.BinaryPrecedenceTest.xml 21✅ 42ms
vadl/build/test-results/test-others/TEST-vadl.ast.CallIndexExprTest.xml 38✅ 154ms
vadl/build/test-results/test-others/TEST-vadl.ast.DiagnosticsTest.xml 112✅ 325ms
vadl/build/test-results/test-others/TEST-vadl.ast.EmbeddedSourceTest.xml 1✅ 1ms
vadl/build/test-results/test-others/TEST-vadl.ast.ExceptionTest.xml 5✅ 19ms
vadl/build/test-results/test-others/TEST-vadl.ast.ExprTest.xml 9✅ 6ms
vadl/build/test-results/test-others/TEST-vadl.ast.FormatFieldAccessTest.xml 10✅ 33ms
vadl/build/test-results/test-others/TEST-vadl.ast.FrontendIntegrationTest.xml 8✅ 943ms
vadl/build/test-results/test-others/TEST-vadl.ast.InstructionTest.xml 2✅ 2ms
vadl/build/test-results/test-others/TEST-vadl.ast.MacroTests.xml 30✅ 37ms
vadl/build/test-results/test-others/TEST-vadl.ast.ParserTest.xml 21✅ 65ms
vadl/build/test-results/test-others/TEST-vadl.ast.ParserUtilsTest.xml 3✅ 25ms
vadl/build/test-results/test-others/TEST-vadl.ast.StatementTest.xml 3✅ 7ms
vadl/build/test-results/test-others/TEST-vadl.ast.SyntaxTypeTest.xml 5✅ 5ms
vadl/build/test-results/test-others/TEST-vadl.ast.TypecheckerAbiTest.xml 18✅ 38ms
vadl/build/test-results/test-others/TEST-vadl.ast.TypecheckerAsmTest.xml 39✅ 176ms
vadl/build/test-results/test-others/TEST-vadl.cppCodeGen.BuiltinCTest.xml 643✅ 122s
vadl/build/test-results/test-others/TEST-vadl.cppCodeGen.SymbolTableTest.xml 3✅ 4ms
vadl/build/test-results/test-others/TEST-vadl.cppCodeGen.z3.EncodingCodeGeneratorSymbolicVerificationTest.xml 7✅ 1ms
vadl/build/test-results/test-others/TEST-vadl.gcb.riscv.riscv32.InstructionPatternPruningPassTest.xml 7✅ 130ms
vadl/build/test-results/test-others/TEST-vadl.gcb.riscv.riscv32.InstructionRegisterEliminationPassTest.xml 4✅ 1s
vadl/build/test-results/test-others/TEST-vadl.gcb.riscv.riscv64.GenerateValueRangeImmediatePassTest.xml 48✅ 2s
vadl/build/test-results/test-others/TEST-vadl.gcb.riscv.riscv64.IdentifyFieldUsagePassTest.xml 97✅ 3s
vadl/build/test-results/test-others/TEST-vadl.gcb.riscv.riscv64.passes.DetermineIntrinsicAttributesPassTest.xml 3✅ 104ms
vadl/build/test-results/test-others/TEST-vadl.gcb.riscv.riscv64.passes.DetermineRelocationTypeForFieldPassTest.xml 10✅ 311ms
vadl/build/test-results/test-others/TEST-vadl.utils.codegen.StringBuilderAppendableTest.xml 7✅ 7ms
vadl/build/test-results/test-others/TEST-vadl.utils.DisassemblerTest.xml 1✅ 33ms
vadl/build/test-results/test-others/TEST-vadl.utils.MemOrderUtilsTest.xml 4✅ 4ms
vadl/build/test-results/test-others/TEST-vadl.utils.SourceLocationTest.xml 6✅ 10ms
vadl/build/test-results/test-others/TEST-vadl.utils.StreamUtilsTest.xml 6✅ 4ms
vadl/build/test-results/test-others/TEST-vadl.vdt.impl.irregular.Aarch64Test.xml 2✅ 596ms
vadl/build/test-results/test-others/TEST-vadl.vdt.impl.irregular.IrregularDecodeTreeGeneratorTest.xml 13✅ 94ms
vadl/build/test-results/test-others/TEST-vadl.vdt.impl.irregular.RiscVTest.xml 2✅ 74ms
vadl/build/test-results/test-others/TEST-vadl.vdt.impl.irregular.VariableLengthRiscTest.xml 1✅ 12ms
vadl/build/test-results/test-others/TEST-vadl.vdt.impl.irregular.VarRiscTest.xml 1✅ 39ms
vadl/build/test-results/test-others/TEST-vadl.vdt.impl.regular.Aarch64Test.xml 1✅ 144ms
vadl/build/test-results/test-others/TEST-vadl.vdt.impl.regular.RegularDecodeTreeGeneratorTest.xml 3✅ 2ms
vadl/build/test-results/test-others/TEST-vadl.vdt.impl.regular.RiscVTest.xml 1✅ 17ms
vadl/build/test-results/test-others/TEST-vadl.vdt.passes.transform.EncodingConstraintDNFTransformerTest.xml 4✅ 11ms
vadl/build/test-results/test-others/TEST-vadl.vdt.passes.transform.EncodingConstraintNNFTransformerTest.xml 3✅ 4ms
vadl/build/test-results/test-others/TEST-vadl.vdt.passes.VdtConstraintSynthesisPassTest.xml 1✅ 2ms
vadl/build/test-results/test-others/TEST-vadl.vdt.passes.VdtEncodingConstraintTest.xml 14✅ 12ms
vadl/build/test-results/test-others/TEST-vadl.vdt.passes.VdtEncodingSemanticVerificationPassTest.xml 3✅ 14ms
vadl/build/test-results/test-others/TEST-vadl.vdt.passes.VdtInputPreparationPassTest.xml 1✅ 2ms
vadl/build/test-results/test-others/TEST-vadl.vdt.target.common.DecisionTreeDecoderTest.xml 1✅ 16ms
vadl/build/test-results/test-others/TEST-vadl.vdt.target.common.DecisionTreeStatsCalculatorTest.xml 3✅ 1ms
vadl/build/test-results/test-others/TEST-vadl.vdt.utils.PatternUtilsTest.xml 5✅ 3ms
vadl/build/test-results/test-others/TEST-vadl.viam.algebraic_simplification.AlgebraicSimplificationSpecTest.xml 5✅ 0ms
vadl/build/test-results/test-others/TEST-vadl.viam.algebraic_simplification.AlgebraicSimplificationTest.xml 64✅ 17ms
vadl/build/test-results/test-others/TEST-vadl.viam.canonicalization.BuiltInConstantEvaluationTest.xml 76✅ 12ms
vadl/build/test-results/test-others/TEST-vadl.viam.CompilerInstructionTest.xml 1✅ 1ms
vadl/build/test-results/test-others/TEST-vadl.viam.ConstantTests.xml 225✅ 143ms
vadl/build/test-results/test-others/TEST-vadl.viam.FormatTest.xml 2✅ 5ms
vadl/build/test-results/test-others/TEST-vadl.viam.FunctionTest.xml 2✅ 2ms
vadl/build/test-results/test-others/TEST-vadl.viam.graph.CanonicalizerTest.xml 4✅ 4ms
vadl/build/test-results/test-others/TEST-vadl.viam.graph.dependency.BuiltInCallTest.xml 27✅ 10ms
vadl/build/test-results/test-others/TEST-vadl.viam.graph.GraphBuildingTests.xml 13✅ 8ms
vadl/build/test-results/test-others/TEST-vadl.viam.graph.NodeVerificationTests.xml 10✅ 9ms
vadl/build/test-results/test-others/TEST-vadl.viam.graph.VisualizationTest.xml 1✅ 0ms
vadl/build/test-results/test-others/TEST-vadl.viam.matching.impl.AnyConstantValueMatcherTest.xml 3✅ 1ms
vadl/build/test-results/test-others/TEST-vadl.viam.matching.impl.BuiltInMatcherTest.xml 4✅ 1ms
vadl/build/test-results/test-others/TEST-vadl.viam.matching.impl.ConstantValueMatcherTest.xml 3✅ 1ms
vadl/build/test-results/test-others/TEST-vadl.viam.matching.impl.FuncParamMatcherTest.xml 2✅ 1ms
vadl/build/test-results/test-others/TEST-vadl.viam.MemoryTest.xml 1✅ 1ms
vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.AdditionWithZeroSimplificationRuleTest.xml 1✅ 2ms
vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.AndWithFalseSimplificationRuleTest.xml 1✅ 2ms
vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.AndWithTrueSimplificationRuleTest.xml 1✅ 0ms
vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.DivisionWithOneSimplificationRuleTest.xml 2✅ 2ms
vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.MultiplicationWithOneSimplificationRuleTest.xml 4✅ 3ms
vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.MultiplicationWithZeroSimplificationRuleTest.xml 4✅ 1ms
vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.OrWithFalseSimplificationRuleTest.xml 1✅ 1ms
vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.OrWithTrueSimplificationRuleTest.xml 1✅ 1ms
vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.RemainderWithOneSimplificationRuleTest.xml 2✅ 1ms
vadl/build/test-results/test-others/TEST-vadl.viam.passes.constant_propagation.CanonicalizationPassTest.xml 2✅ 4ms
vadl/build/test-results/test-others/TEST-vadl.viam.passes.DuplicateWriteDetectionPassTest.xml 14✅ 573ms
vadl/build/test-results/test-others/TEST-vadl.viam.passes.htmlDump.HtmlDumpTest.xml 1✅ 12ms
vadl/build/test-results/test-others/TEST-vadl.viam.passes.SideEffectConditionResolvingPassTest.xml 5✅ 3ms
vadl/build/test-results/test-others/TEST-vadl.viam.passes.statusBuiltInInlinePass.ArithmeticInlineTest.xml 1190✅ 444ms
vadl/build/test-results/test-others/TEST-vadl.viam.passes.TypeCastEliminationTest.xml 42✅ 21ms
vadl/build/test-results/test-others/TEST-vadl.viam.RegisterTest.xml 3✅ 18ms
vadl/build/test-results/test-others/TEST-vadl.viam.RelocationTest.xml 1✅ 2ms
vadl/build/test-results/test-others/TEST-vadl.viam.Rv3264imTest.xml 4✅ 185ms

✅ vadl/build/test-results/test-others/TEST-vadl.AnnotationRuleParametersTest.xml

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

Test suite Passed Failed Skipped Time
vadl.AnnotationRuleParametersTest 1✅ 3s

✅ vadl/build/test-results/test-others/TEST-vadl.AnnotationRuleTest.xml

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

Test suite Passed Failed Skipped Time
vadl.AnnotationRuleTest 2✅ 2s

✅ vadl/build/test-results/test-others/TEST-vadl.ArchitectureTest.xml

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

Test suite Passed Failed Skipped Time
vadl.ArchitectureTest 1✅ 1s

✅ vadl/build/test-results/test-others/TEST-vadl.ast.AliasDefinitionTest.xml

1 tests were completed in 83ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.AliasDefinitionTest 1✅ 83ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.AsmDescriptionTests.xml

20 tests were completed in 114ms with 20 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.AsmDescriptionTests 20✅ 114ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.AsmGrammarTests.xml

33 tests were completed in 126ms with 33 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.AsmGrammarTests 33✅ 126ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.AsmLL1CheckerTest.xml

25 tests were completed in 233ms with 25 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.AsmLL1CheckerTest 25✅ 233ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.AstDumpTests.xml

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

Test suite Passed Failed Skipped Time
vadl.ast.AstDumpTests 4✅ 95ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.AstMacroTests.xml

8 tests were completed in 197ms with 8 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.AstMacroTests 8✅ 197ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.BinaryPrecedenceTest.xml

21 tests were completed in 42ms with 21 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.BinaryPrecedenceTest 21✅ 42ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.CallIndexExprTest.xml

38 tests were completed in 154ms with 38 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.CallIndexExprTest 38✅ 154ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.DiagnosticsTest.xml

112 tests were completed in 325ms with 112 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.DiagnosticsTest 112✅ 325ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.EmbeddedSourceTest.xml

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

Test suite Passed Failed Skipped Time
vadl.ast.EmbeddedSourceTest 1✅ 1ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.ExceptionTest.xml

5 tests were completed in 19ms with 5 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.ExceptionTest 5✅ 19ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.ExprTest.xml

9 tests were completed in 6ms with 9 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.ExprTest 9✅ 6ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.FormatFieldAccessTest.xml

10 tests were completed in 33ms with 10 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.FormatFieldAccessTest 10✅ 33ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.FrontendIntegrationTest.xml

8 tests were completed in 943ms with 8 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.FrontendIntegrationTest 8✅ 943ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.InstructionTest.xml

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

Test suite Passed Failed Skipped Time
vadl.ast.InstructionTest 2✅ 2ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.MacroTests.xml

30 tests were completed in 37ms with 30 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.MacroTests 30✅ 37ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.ParserTest.xml

21 tests were completed in 65ms with 21 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.ParserTest 21✅ 65ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.ParserUtilsTest.xml

3 tests were completed in 25ms with 3 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.ParserUtilsTest 3✅ 25ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.StatementTest.xml

3 tests were completed in 7ms with 3 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.StatementTest 3✅ 7ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.SyntaxTypeTest.xml

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

Test suite Passed Failed Skipped Time
vadl.ast.SyntaxTypeTest 5✅ 5ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.TypecheckerAbiTest.xml

18 tests were completed in 38ms with 18 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.TypecheckerAbiTest 18✅ 38ms

✅ vadl/build/test-results/test-others/TEST-vadl.ast.TypecheckerAsmTest.xml

39 tests were completed in 176ms with 39 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.ast.TypecheckerAsmTest 39✅ 176ms

✅ vadl/build/test-results/test-others/TEST-vadl.cppCodeGen.BuiltinCTest.xml

643 tests were completed in 122s with 643 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.cppCodeGen.BuiltinCTest 643✅ 122s

✅ vadl/build/test-results/test-others/TEST-vadl.cppCodeGen.SymbolTableTest.xml

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

Test suite Passed Failed Skipped Time
vadl.cppCodeGen.SymbolTableTest 3✅ 4ms

✅ vadl/build/test-results/test-others/TEST-vadl.cppCodeGen.z3.EncodingCodeGeneratorSymbolicVerificationTest.xml

7 tests were completed in 1ms with 7 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.cppCodeGen.z3.EncodingCodeGeneratorSymbolicVerificationTest 7✅ 1ms

✅ vadl/build/test-results/test-others/TEST-vadl.gcb.riscv.riscv32.InstructionPatternPruningPassTest.xml

7 tests were completed in 130ms with 7 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.gcb.riscv.riscv32.InstructionPatternPruningPassTest 7✅ 130ms

✅ vadl/build/test-results/test-others/TEST-vadl.gcb.riscv.riscv32.InstructionRegisterEliminationPassTest.xml

4 tests were completed in 1s with 4 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.gcb.riscv.riscv32.InstructionRegisterEliminationPassTest 4✅ 1s

✅ vadl/build/test-results/test-others/TEST-vadl.gcb.riscv.riscv64.GenerateValueRangeImmediatePassTest.xml

48 tests were completed in 2s with 48 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.gcb.riscv.riscv64.GenerateValueRangeImmediatePassTest 48✅ 2s

✅ vadl/build/test-results/test-others/TEST-vadl.gcb.riscv.riscv64.IdentifyFieldUsagePassTest.xml

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

Test suite Passed Failed Skipped Time
vadl.gcb.riscv.riscv64.IdentifyFieldUsagePassTest 97✅ 3s

✅ vadl/build/test-results/test-others/TEST-vadl.gcb.riscv.riscv64.passes.DetermineIntrinsicAttributesPassTest.xml

3 tests were completed in 104ms with 3 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.gcb.riscv.riscv64.passes.DetermineIntrinsicAttributesPassTest 3✅ 104ms

✅ vadl/build/test-results/test-others/TEST-vadl.gcb.riscv.riscv64.passes.DetermineRelocationTypeForFieldPassTest.xml

10 tests were completed in 311ms with 10 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.gcb.riscv.riscv64.passes.DetermineRelocationTypeForFieldPassTest 10✅ 311ms

✅ vadl/build/test-results/test-others/TEST-vadl.utils.codegen.StringBuilderAppendableTest.xml

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

Test suite Passed Failed Skipped Time
vadl.utils.codegen.StringBuilderAppendableTest 7✅ 7ms

✅ vadl/build/test-results/test-others/TEST-vadl.utils.DisassemblerTest.xml

1 tests were completed in 33ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.utils.DisassemblerTest 1✅ 33ms

✅ vadl/build/test-results/test-others/TEST-vadl.utils.MemOrderUtilsTest.xml

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

Test suite Passed Failed Skipped Time
vadl.utils.MemOrderUtilsTest 4✅ 4ms

✅ vadl/build/test-results/test-others/TEST-vadl.utils.SourceLocationTest.xml

6 tests were completed in 10ms with 6 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.utils.SourceLocationTest 6✅ 10ms

✅ vadl/build/test-results/test-others/TEST-vadl.utils.StreamUtilsTest.xml

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

Test suite Passed Failed Skipped Time
vadl.utils.StreamUtilsTest 6✅ 4ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.impl.irregular.Aarch64Test.xml

2 tests were completed in 596ms with 2 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.vdt.impl.irregular.Aarch64Test 2✅ 596ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.impl.irregular.IrregularDecodeTreeGeneratorTest.xml

13 tests were completed in 94ms with 13 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.vdt.impl.irregular.IrregularDecodeTreeGeneratorTest 13✅ 94ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.impl.irregular.RiscVTest.xml

2 tests were completed in 74ms with 2 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.vdt.impl.irregular.RiscVTest 2✅ 74ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.impl.irregular.VariableLengthRiscTest.xml

1 tests were completed in 12ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.vdt.impl.irregular.VariableLengthRiscTest 1✅ 12ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.impl.irregular.VarRiscTest.xml

1 tests were completed in 39ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.vdt.impl.irregular.VarRiscTest 1✅ 39ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.impl.regular.Aarch64Test.xml

1 tests were completed in 144ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.vdt.impl.regular.Aarch64Test 1✅ 144ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.impl.regular.RegularDecodeTreeGeneratorTest.xml

3 tests were completed in 2ms with 3 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.vdt.impl.regular.RegularDecodeTreeGeneratorTest 3✅ 2ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.impl.regular.RiscVTest.xml

1 tests were completed in 17ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.vdt.impl.regular.RiscVTest 1✅ 17ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.passes.transform.EncodingConstraintDNFTransformerTest.xml

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

Test suite Passed Failed Skipped Time
vadl.vdt.passes.transform.EncodingConstraintDNFTransformerTest 4✅ 11ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.passes.transform.EncodingConstraintNNFTransformerTest.xml

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

Test suite Passed Failed Skipped Time
vadl.vdt.passes.transform.EncodingConstraintNNFTransformerTest 3✅ 4ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.passes.VdtConstraintSynthesisPassTest.xml

1 tests were completed in 2ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.vdt.passes.VdtConstraintSynthesisPassTest 1✅ 2ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.passes.VdtEncodingConstraintTest.xml

14 tests were completed in 12ms with 14 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.vdt.passes.VdtEncodingConstraintTest 14✅ 12ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.passes.VdtEncodingSemanticVerificationPassTest.xml

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

Test suite Passed Failed Skipped Time
vadl.vdt.passes.VdtEncodingSemanticVerificationPassTest 3✅ 14ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.passes.VdtInputPreparationPassTest.xml

1 tests were completed in 2ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.vdt.passes.VdtInputPreparationPassTest 1✅ 2ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.target.common.DecisionTreeDecoderTest.xml

1 tests were completed in 16ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.vdt.target.common.DecisionTreeDecoderTest 1✅ 16ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.target.common.DecisionTreeStatsCalculatorTest.xml

3 tests were completed in 1ms with 3 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.vdt.target.common.DecisionTreeStatsCalculatorTest 3✅ 1ms

✅ vadl/build/test-results/test-others/TEST-vadl.vdt.utils.PatternUtilsTest.xml

5 tests were completed in 3ms with 5 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.vdt.utils.PatternUtilsTest 5✅ 3ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.algebraic_simplification.AlgebraicSimplificationSpecTest.xml

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

Test suite Passed Failed Skipped Time
vadl.viam.algebraic_simplification.AlgebraicSimplificationSpecTest 5✅ 0ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.algebraic_simplification.AlgebraicSimplificationTest.xml

64 tests were completed in 17ms with 64 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.algebraic_simplification.AlgebraicSimplificationTest 64✅ 17ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.canonicalization.BuiltInConstantEvaluationTest.xml

76 tests were completed in 12ms with 76 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.canonicalization.BuiltInConstantEvaluationTest 76✅ 12ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.CompilerInstructionTest.xml

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

Test suite Passed Failed Skipped Time
vadl.viam.CompilerInstructionTest 1✅ 1ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.ConstantTests.xml

225 tests were completed in 143ms with 225 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.ConstantTests 225✅ 143ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.FormatTest.xml

2 tests were completed in 5ms with 2 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.FormatTest 2✅ 5ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.FunctionTest.xml

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

Test suite Passed Failed Skipped Time
vadl.viam.FunctionTest 2✅ 2ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.graph.CanonicalizerTest.xml

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

Test suite Passed Failed Skipped Time
vadl.viam.graph.CanonicalizerTest 4✅ 4ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.graph.dependency.BuiltInCallTest.xml

27 tests were completed in 10ms with 27 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.graph.dependency.BuiltInCallTest 27✅ 10ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.graph.GraphBuildingTests.xml

13 tests were completed in 8ms with 13 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.graph.GraphBuildingTests 13✅ 8ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.graph.NodeVerificationTests.xml

10 tests were completed in 9ms with 10 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.graph.NodeVerificationTests 10✅ 9ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.graph.VisualizationTest.xml

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

Test suite Passed Failed Skipped Time
vadl.viam.graph.VisualizationTest 1✅ 0ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.matching.impl.AnyConstantValueMatcherTest.xml

3 tests were completed in 1ms with 3 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.matching.impl.AnyConstantValueMatcherTest 3✅ 1ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.matching.impl.BuiltInMatcherTest.xml

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

Test suite Passed Failed Skipped Time
vadl.viam.matching.impl.BuiltInMatcherTest 4✅ 1ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.matching.impl.ConstantValueMatcherTest.xml

3 tests were completed in 1ms with 3 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.matching.impl.ConstantValueMatcherTest 3✅ 1ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.matching.impl.FuncParamMatcherTest.xml

2 tests were completed in 1ms with 2 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.matching.impl.FuncParamMatcherTest 2✅ 1ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.MemoryTest.xml

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

Test suite Passed Failed Skipped Time
vadl.viam.MemoryTest 1✅ 1ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.AdditionWithZeroSimplificationRuleTest.xml

1 tests were completed in 2ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.passes.algebraic_simplication.rules.impl.AdditionWithZeroSimplificationRuleTest 1✅ 2ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.AndWithFalseSimplificationRuleTest.xml

1 tests were completed in 2ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.passes.algebraic_simplication.rules.impl.AndWithFalseSimplificationRuleTest 1✅ 2ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.AndWithTrueSimplificationRuleTest.xml

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

Test suite Passed Failed Skipped Time
vadl.viam.passes.algebraic_simplication.rules.impl.AndWithTrueSimplificationRuleTest 1✅ 0ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.DivisionWithOneSimplificationRuleTest.xml

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

Test suite Passed Failed Skipped Time
vadl.viam.passes.algebraic_simplication.rules.impl.DivisionWithOneSimplificationRuleTest 2✅ 2ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.MultiplicationWithOneSimplificationRuleTest.xml

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

Test suite Passed Failed Skipped Time
vadl.viam.passes.algebraic_simplication.rules.impl.MultiplicationWithOneSimplificationRuleTest 4✅ 3ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.MultiplicationWithZeroSimplificationRuleTest.xml

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

Test suite Passed Failed Skipped Time
vadl.viam.passes.algebraic_simplication.rules.impl.MultiplicationWithZeroSimplificationRuleTest 4✅ 1ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.OrWithFalseSimplificationRuleTest.xml

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

Test suite Passed Failed Skipped Time
vadl.viam.passes.algebraic_simplication.rules.impl.OrWithFalseSimplificationRuleTest 1✅ 1ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.OrWithTrueSimplificationRuleTest.xml

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

Test suite Passed Failed Skipped Time
vadl.viam.passes.algebraic_simplication.rules.impl.OrWithTrueSimplificationRuleTest 1✅ 1ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.passes.algebraic_simplication.rules.impl.RemainderWithOneSimplificationRuleTest.xml

2 tests were completed in 1ms with 2 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.passes.algebraic_simplication.rules.impl.RemainderWithOneSimplificationRuleTest 2✅ 1ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.passes.constant_propagation.CanonicalizationPassTest.xml

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

Test suite Passed Failed Skipped Time
vadl.viam.passes.constant_propagation.CanonicalizationPassTest 2✅ 4ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.passes.DuplicateWriteDetectionPassTest.xml

14 tests were completed in 573ms with 14 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.passes.DuplicateWriteDetectionPassTest 14✅ 573ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.passes.htmlDump.HtmlDumpTest.xml

1 tests were completed in 12ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.passes.htmlDump.HtmlDumpTest 1✅ 12ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.passes.SideEffectConditionResolvingPassTest.xml

5 tests were completed in 3ms with 5 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.passes.SideEffectConditionResolvingPassTest 5✅ 3ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.passes.statusBuiltInInlinePass.ArithmeticInlineTest.xml

1190 tests were completed in 444ms with 1190 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.passes.statusBuiltInInlinePass.ArithmeticInlineTest 1190✅ 444ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.passes.TypeCastEliminationTest.xml

42 tests were completed in 21ms with 42 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.passes.TypeCastEliminationTest 42✅ 21ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.RegisterTest.xml

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

Test suite Passed Failed Skipped Time
vadl.viam.RegisterTest 3✅ 18ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.RelocationTest.xml

1 tests were completed in 2ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
vadl.viam.RelocationTest 1✅ 2ms

✅ vadl/build/test-results/test-others/TEST-vadl.viam.Rv3264imTest.xml

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

Test suite Passed Failed Skipped Time
vadl.viam.Rv3264imTest 4✅ 185ms