search

ASSERT-KTH / xPerturb

perturbation analysis, correctness attraction and randomization, by KTH Royal Institute of Technology
https://hal.archives-ouvertes.fr/hal-01378523/file/correctness-attraction.pdf
7 stars 5 forks source link

process -- ++ unaryoperator #1

Closed monperrus closed 8 years ago

monperrus commented 8 years ago

and add test