Float: Delete error result file if test pass#521

Merged

Alasdair merged 3 commits intorems-project:sail2from Incarnation-p-lee:panli/delete-error-result-file-if-test-pass

May 8, 2024

+1-1

Commits on May 3, 2024

Remove undefined_gen for if-else type
Incarnation-p-lee
committed

Commits on May 4, 2024

Delete error result file if test passed
Incarnation-p-lee
committed

Commits on May 6, 2024

Merge remote-tracking branch 'upstream/sail2' into panli/delete-error-result-file-if-test-pass
Incarnation-p-lee
committed