Christian Klinger
Christian Klinger
Thank you very much for clarifying this. I've found another "interesting" case since then. How does Smack handle (potentially) infinite loops? Consider this file: ```c extern void __VERIFIER_error() __attribute__((__noreturn__)); void...
I called smack using ``` > CORRAL="mono /tmp/corral/bin/Release/corral.exe" smack -x=svcomp --clang-options=-m32 interesting.c ``` You are right, adding `--unroll=3` makes smack find the error. Sorry for the confusion.
I am sorry to bother. Coming back to my original post: Is there a way to disable the "hacky heuristic"?
That'd be great. Thank you very much.
@fzakaria From my observation, it would help to prevent mvn2nix from using the local ~/.m2 repository and instead use *only* the specified repository, e.g. downloading all artifacts upon calling mvn2nix....
Hello together, I encountered the same error today. chunyangx, have you found a solution?
I would like to work on this. From my cursory look at the linked discussion at GHC it seems that alanz's inquiry came to a standstill. So I guess the...
I will need a little time to look at it and get ghc8.8-alpha1 installed, but those hie files look very promising. Thank you for the heads-up.
I encountered a few types that are used for arguments on public methods but are not exported: * `CustomLayerInterface` * `QueryFeature` * `FeatureSelector`