[Dataset-Oracles] Update Jdoctor dataset with wrong or to-be-removed oracles from Excel sheet - Githubissues

AML14 / tratto

2 stars 1 forks source link

[Dataset-Oracles] Update Jdoctor dataset with wrong or to-be-removed oracles from Excel sheet #17

Closed darthdaver closed 1 year ago

darthdaver commented 1 year ago

The Excel sheet is available at https://docs.google.com/spreadsheets/d/1RiFxG-DUKrM3aJwWsmifvCmXoiHU9nZfXjQ5FaFIVt4/edit?usp=sharing