Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Keeping track of which tests pass

  • Loading branch information...
commit 40bbc1da0adec14954997f0472656095df34ee63 1 parent f916864
@alanz authored
Showing with 56 additions and 0 deletions.
  1. +56 −0 testing/TODO
View
56 testing/TODO
@@ -0,0 +1,56 @@
+2012-08-01 Notes
+
+
+Test directories
+----------------
+
+Passes
+------
+
+addField - passes, and works in emacs
+addOneParameter - passes, and works in emacs
+cleanImports : passes
+foldDef : passes
+generativeFold: passes
+instantiate : passes
+introPattern : passes
+removeDef : passes 17 of 17
+renaming : passes 28 of 28
+rmOneParameter : passes 10 of 10
+
+
+removeCon : fails 1 of 20
+refacFunDef : fails 1 of 20
+fromConcreteToAbstract : fails 1 of 1
+duplication : fails 1 of 12
+whereToLet : fails 1 of 10
+foldPatterns : fails 1 of 6
+asPatterns : fails 2 of 27
+generaliseDef : fails 2 of 17
+refacDataNewType : failed 2 of 5
+rmFromExport : fails 2 of 3
+unfoldDef : fails 3 of 19
+mkImpExplicit : fails 5 of 5
+moveDefBtwMods : fails 6 of 9
+addToExport - fails 6 of 8
+unfoldAsPatterns : fails 7 of 35
+refacRedunDec : fails 7 of 17
+pointwiseToPointfree : failed 7 of 7
+demote : fails 8 of 16
+letToWhere : fails 9 of 15
+refacSlicing : fails 10 of 23
+liftOneLevel : fails 12 of 14
+introNewDef : fails 13 of 15
+liftToToplevel : fails 13 of 14
+evalMonad : fails 14 of 19
+removeField : fails 15 of 17
+introCase : fails 22 of 33
+subIntroPattern : fails 22 of 25
+simplifyExpr : fails 28 of 30
+addCon - fails all
+
+evalAddEvalMon : fails : Prelude.read: no parse
+evalAddEvalMonCache: fails : Prelude.read: no parse
+introThreshold : fails Prelude.read: no parse
+merging : fails Prelude.read: no parse
+
Please sign in to comment.
Something went wrong with that request. Please try again.