{"ref":"nondex-1.0.0","ref_type":"tag","master_branch":"master","description":"A tool for finding strong assumptions on APIs with non-deterministic specifications.","pusher_type":"user"}
{"actor":{"display_login":"alexgyori"}}