Manuel Carrasco
Manuel Carrasco
Hi, I successfully created an interactive docker container following [the documentation](https://github.com/smackers/smack/blob/main/docs/installation.md#local-build). However, I ran into some problems when testing this [example](https://github.com/smackers/smack/blob/main/examples/rise4fun/rise_simple_buggy.c). ``` user@555c547b444f:~/smack$ smack examples/rise4fun/rise_simple_buggy.c SMACK program verifier version 2.8.0...
Without this fix, the type inference analysis types "b" with !0 rather than int32. That generates a conflict with the Foo's signature. ``` class A{ public T Get() { ......