researchart / rose6icse

12 stars 71 forks source link

Closed arennax closed 4 years ago

arennax commented 4 years ago

applying for AVAILABLE and REUSABLE

arennax commented 4 years ago

@zbchen @timm

available and reusable tests are passed (macOS Catalina 10.15.3, Docker version 19.03.5)
demo program running successfully (test.bc, demo.bc), expected output achieved
the result of one verification task is reproduced
there are some minor typos in INSTALL.md: verifcation --> verification, etc..

azhe825 commented 4 years ago

@timm @zbchen Reusable and Available passed.