Commit Graph

3 Commits (3901dcfc0afe0710d08a5711d8482abe62a19f65)

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