diff test/Makefile @ 11375:1a110b7c03e1

Use smaller epsilon in ComputeProbabilityClosure
author Gilles Duboscq <duboscq@ssw.jku.at>
date Tue, 20 Aug 2013 15:39:58 +0200
parents 393fd4ef89c4
children d96f52012aaa
line wrap: on
line diff