Regression new updated expected output

runtimeverification / pyk

Python tools for the K Framework

BSD 3-Clause "New" or "Revised" License

13 stars 2 forks source link

Regression new updated expected output #1044

Open ehildenb opened 5 months ago

ehildenb commented 5 months ago

I'm opening this issue to discuss the various changes that running make update-results causes in regression-new test-suite. I figure we can keep this open as we triage all these things.