Skip to content

Failing test #195

@EliasC

Description

@EliasC

I was running the fuzzer and found an error:

./tools/rego_fuzzer file_to_rego -c 10000
Testing x10000, seed: 3858980020

: unexpected rego-somedecl, expected a rego-expr, 
$44
~~~
(rego-somedecl
  (rego-exprseq
    (group))
  (rego-expr
    (rego-unaryexpr
      (rego-expr
        (rego-exprinfix
          (rego-expr
            (rego-term
              (rego-scalar
                (rego-true))))
          (rego-infixoperator
            (rego-arithoperator
              (rego-modulo)))
          (rego-expr
            (rego-unaryexpr
              (rego-expr
                (rego-exprcall
                  (rego-ref
                    (rego-refhead
                      (rego-var 3:$66))
                    (rego-refargseq))
                  (rego-exprseq))))))))))


============
Pass: else_not, seed: 3858984613
------------
(top
  {}
  (rego-module
    {}
    (rego-package
      (rego-ref
        (rego-refhead
          (rego-array
            (group)
            (group)
            (group
              (rego-greaterthan))))
        (rego-refargseq
          (rego-refargdot
            (rego-var 3:$13))
          (rego-refargbrack
            (group)))))
    (rego-import
      (rego-ref
        (rego-refhead
          (rego-array
            (group
              (rego-objectitem
                (rego-expr
                  (rego-exprcall
                    (rego-ref
                      (rego-refhead
                        (rego-arraycompr
                          {}
                          (group)
                          (rego-query
                            (group))))
                      (rego-refargseq))
                    (rego-exprseq)))
                (rego-expr
                  (rego-unaryexpr
                    (rego-expr
                      (rego-term
                        (rego-scalar
                          (rego-true)))))))
              (rego-and))))
        (rego-refargseq
          (rego-refargbrack
            (group
              (rego-greaterthanorequals)
              (rego-if)
              (rego-not)
              (rego-somedecl
                (rego-exprseq
                  (group))
                (rego-expr
                  (rego-unaryexpr
                    (rego-expr
                      (rego-exprinfix
                        (rego-expr
                          (rego-term
                            (rego-scalar
                              (rego-true))))
                        (rego-infixoperator
                          (rego-arithoperator
                            (rego-modulo)))
                        (rego-expr
                          (rego-unaryexpr
                            (rego-expr
                              (rego-exprcall
                                (rego-ref
                                  (rego-refhead
                                    (rego-var 3:$66))
                                  (rego-refargseq))
                                (rego-exprseq))))))))))
              (rego-lessthan)))
          (rego-refargbrack
            (rego-placeholder))))
      (rego-var 3:$16))))
------------
(top
  {}
  (rego-module
    {}
    (rego-package
      (rego-ref
        (rego-refhead
          (rego-array
            (group)
            (group)
            (group
              (rego-greaterthan))))
        (rego-refargseq
          (rego-refargdot
            (rego-var 3:$13))
          (rego-refargbrack
            (group)))))
    (rego-import
      (rego-ref
        (rego-refhead
          (rego-array
            (group
              (rego-objectitem
                (rego-expr
                  (rego-exprcall
                    (rego-ref
                      (rego-refhead
                        (rego-arraycompr
                          {}
                          (group)
                          (rego-query
                            (group))))
                      (rego-refargseq))
                    (rego-exprseq)))
                (rego-expr
                  (rego-unaryexpr
                    (rego-expr
                      (rego-term
                        (rego-scalar
                          (rego-true)))))))
              (rego-and))))
        (rego-refargseq
          (rego-refargbrack
            (group
              (rego-greaterthanorequals)
              (rego-if)
              (rego-query
                (group
                  (rego-not-expr
                    (rego-somedecl
                      (rego-exprseq
                        (group))
                      (rego-expr
                        (rego-unaryexpr
                          (rego-expr
                            (rego-exprinfix
                              (rego-expr
                                (rego-term
                                  (rego-scalar
                                    (rego-true))))
                              (rego-infixoperator
                                (rego-arithoperator
                                  (rego-modulo)))
                              (rego-expr
                                (rego-unaryexpr
                                  (rego-expr
                                    (rego-exprcall
                                      (rego-ref
                                        (rego-refhead
                                          (rego-var 3:$66))
                                        (rego-refargseq))
                                      (rego-exprseq)))))))))))))
              (rego-lessthan)))
          (rego-refargbrack
            (rego-placeholder))))
      (rego-var 3:$16))))
============
Failed pass: else_not, seed: 3858984613

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions