Commit Graph

3 Commits (ad291efa1d0f5d6ac5829b9c9c27f183e0d79750)

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