Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix parameter when calling MC_assert.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 11 Dec 2019 21:20:41 +0000 (22:20 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 12 Dec 2019 09:48:32 +0000 (10:48 +0100)
A cast to (int) is wrong with e.g. (0.2) or (1UL<<32).


No differences found