Commit Graph

3 Commits (9b605c945f8b4837a55a6c272f9cfb74d1692c23)

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