<commit_before>Tests
  Prover
    without_ple_pos
      Euclide.hs:                             FAIL (0.72s)
    with_ple
      Euclide.hs:                             FAIL (1.01s)
      - see tests-names-HiddenMethod00.hs 

  Macro
    unit-pos
      Invariants.hs:                          FAIL (0.76s)
      contra0.hs:                             FAIL (0.72s)
      - todo:variance 

      PersistentVector.hs:                    FAIL (1.06s)
      - todo:using 

      repeatHigherOrder.hs:                   FAIL (0.77s)
      ex1.hs:                                 FAIL (0.71s)
      stateInvarint.hs:                       FAIL (1.79s)
      RelativeComplete.hs:                    FAIL (1.03s)
      foldN.hs:                               FAIL (0.72s)
      ex0.hs:                                 FAIL (0.87s)
      kmpIO.hs:                               FAIL (5.00s)
      StateConstraints.hs:                    FAIL (3.06s)
      ResolvePred.hs:                         FAIL (1.02s)
      * absref (fails to prove papp1, papp2 etc.)

      Merge1.hs:                              FAIL (0.71s)
      compare2.hs:                            FAIL (0.97s)
      - EQ, LT, free-vars 
      state00.hs:                             FAIL (0.75s)
      - add constructors to top-level constants, or maybe DONT generate 
        strengthened types for higher order ctors

      T1089b.hs:                              FAIL (0.98s)
      * fixpoint "Unknown func-sort:"

      T1146.hs:                               FAIL (0.65s)
      - alias variable capture

      maybe00.hs:                             FAIL (0.75s)
      maybe.hs:                               FAIL (1.21s)
      maybe3.hs:                              FAIL (0.71s)
      SafePartialFunctions.hs:                FAIL (0.69s)
      - measure: fromJust, isJust 

      anftest.hs:                             FAIL (0.66s)
      - measure variable capture

      RecordAccessors.hs:                     FAIL (0.84s)
      - not strengthening record field

      jeff.hs:                                FAIL (1.26s)
      primInt0.hs:                            FAIL (3.14s)
      T716.hs:                                FAIL (2.77s)
      Overwrite.hs:                           FAIL (0.75s)
      - assumes are getting dropped 

      FractionalInstance.hs:                  FAIL (1.17s)
      - todo: don't check generated dict-instances

      TypeLitNat.hs:                          FAIL (1.18s)
      - todo: type-lits

      mapTvCrash.hs:                          FAIL (0.85s)
      vector2.hs:                             FAIL (0.90s)
      - name resolution

      VerifiedMonoid.hs:                      FAIL (1.61s)
      - wierd z3 crash

      bag.hs:                                 FAIL (0.98s)
      - todo:bag-fromList 

      NewType.hs:                             FAIL (0.66s)
      - todo:newtype

-------------------------------------------------------------

      maybe0.hs:                              FAIL (0.73s)
        tests/test.hs:293:
        Wrong exit code
        expected: ExitSuccess
         but got: ExitFailure 2

      BinarySearch.hs:                        FAIL (0.98s)
        tests/test.hs:293:
        Wrong exit code
        expected: ExitSuccess
         but got: ExitFailure 1

      kmpVec.hs:                              FAIL (1.11s)
        tests/test.hs:293:
        Wrong exit code<commit_msg>abref mystery in tests-absref-pos-state00.hs<commit_after>Tests
  Prover
    without_ple_pos
      Euclide.hs:                             FAIL (0.72s)
    with_ple
      Euclide.hs:                             FAIL (1.01s)
      - see tests-names-HiddenMethod00.hs 

  Macro
    unit-pos

      PersistentVector.hs:                    FAIL (1.06s)
      - todo:using 

      maybe00.hs:                             FAIL (0.75s)
      maybe.hs:                               FAIL (1.21s)
      maybe3.hs:                              FAIL (0.71s)
      SafePartialFunctions.hs:                FAIL (0.69s)
      - measure: fromJust, isJust 

      jeff.hs:                                FAIL (1.26s)
      primInt0.hs:                            FAIL (3.14s)
      T716.hs:                                FAIL (2.77s)
      Overwrite.hs:                           FAIL (0.75s)
      - assumes are getting dropped 


      Invariants.hs:                          FAIL (0.76s)
      contra0.hs:                             FAIL (0.72s)
      - todo:variance 

      bag.hs:                                 FAIL (0.98s)
      - todo:bag-fromList 

      NewType.hs:                             FAIL (0.66s)
      - todo:newtype

      repeatHigherOrder.hs:                   FAIL (0.77s)
      ex1.hs:                                 FAIL (0.71s)
      stateInvarint.hs:                       FAIL (1.79s)
      RelativeComplete.hs:                    FAIL (1.03s)
      foldN.hs:                               FAIL (0.72s)
      ex0.hs:                                 FAIL (0.87s)
      kmpIO.hs:                               FAIL (5.00s)
      StateConstraints.hs:                    FAIL (3.06s)
      ResolvePred.hs:                         FAIL (1.02s)
      - absref (fails to prove papp1, papp2 etc., see tests-absref-pos-state00.hs)

      Merge1.hs:                              FAIL (0.71s)
      compare2.hs:                            FAIL (0.97s)
      - EQ, LT, free-vars 
      state00.hs:                             FAIL (0.75s)
      - add constructors to top-level constants, or maybe DONT generate 
        strengthened types for higher order ctors

      T1089b.hs:                              FAIL (0.98s)
      - fixpoint "Unknown func-sort:"

      T1146.hs:                               FAIL (0.65s)
      - alias variable capture

      anftest.hs:                             FAIL (0.66s)
      - measure variable capture

      RecordAccessors.hs:                     FAIL (0.84s)
      - not strengthening record field

      FractionalInstance.hs:                  FAIL (1.17s)
      - todo: don't check generated dict-instances

      TypeLitNat.hs:                          FAIL (1.18s)
      - todo: type-lits

      mapTvCrash.hs:                          FAIL (0.85s)
      vector2.hs:                             FAIL (0.90s)
      - name resolution

      VerifiedMonoid.hs:                      FAIL (1.61s)
      - wierd z3 crash

-------------------------------------------------------------

      maybe0.hs:                              FAIL (0.73s)
        tests/test.hs:293:
        Wrong exit code
        expected: ExitSuccess
         but got: ExitFailure 2

      BinarySearch.hs:                        FAIL (0.98s)
        tests/test.hs:293:
        Wrong exit code
        expected: ExitSuccess
         but got: ExitFailure 1

      kmpVec.hs:                              FAIL (1.11s)
        tests/test.hs:293:
        Wrong exit code
{'fraction_non_alphanumeric': 0.09444605148973098, 'fraction_numerical': 0.045993636100665314, 'mean_word_length': 0.8159138655462185, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 6, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3149364', 'n_tokens_mistral': 2194, 'n_tokens_neox': 1892, 'n_words': 424}