Commit Graph

3 Commits (889450d25aa7f7c15d214b82e73146f9689b1a17)

Author SHA1 Message Date
mama ffe7a8a308 Correction du test 'double unfold' 2017-10-18 16:05:38 +02:00
Laurent Bossavit 2166968c41 Mettre en évidence le bug du double unfold 2017-10-18 15:59:40 +02:00
Laurent Bossavit 6ba339cef1 Introduit des tests pour reduceSteps 2017-10-18 15:59:40 +02:00