Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#2459
[Analysis] Make non-determinism as a contract
(from redmine: issue id 2459, created on 2015-12-21, closed on 2017-01-30)