Alexander Aghili
Alexander Aghili
> This output format is untested as of this PR. I'd like to see one regression test added at least. This isn't a blocking request, but likely something we want...
Hey guys, sorry I haven't gotten to this in a minute. I was testing this on a server used by my research group, but my laptop's SSD failed with my...
Okay I tested it and added the -Z --unstable-options instead of --enable-unstable. Do we still want to add tests as a part of this PR?
Hey there, I've done most of it but I ran into this issue when running regression tests: ERROR: CBMC version is 5.89.0, expected at least 5.95.0 How can I upgrade...
I don't want to be the bottleneck on this but in short, I am having a difficult time upgrading because of permissions issues on my remote server, and thus, if...
Hi guys, Sorry for taking so long, I've been out on holiday. I made an issue for adding regression tests. Do we want to complete that in this PR? If...
I swear I'm not as flaky as I seem but my computer's screen just broke and I'm going to have to get it replaced which might take some time. If...
Finally getting back around to this. I will be creating that test and merging in the new base, then asking for a review to be merged.
Hey, I was checking the other UI tests and they verify the validity of the response by running a proof in a main.rs file and checking it with an expected...
So I think when I merged, it included all of the commits in the commit history here. Is there a way to prevent that in the future? Also, I looked...