Updating AV regressions

boogie-org / corral

solver for the reachability modulo theories problem

MIT License

58 stars 29 forks source link

Updating AV regressions #133

Open akashlal opened 4 years ago

akashlal commented 4 years ago

AV regressions are currently broken. The generated output does not match the golden answer. But I think the changes are merely syntactic and semantically AV is functioning correctly. Still, requires a pass before we update the golden answer.

This applies post #132 test\av-regressions test\propinst-regressions

akashlal commented 4 years ago

Also, we should include AV regressions into the CI. CC @shuvendu-lahiri for visibility

shuvendu-lahiri commented 4 years ago

that would be really great Akash!