You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Assertion failed: (isa(Val) && "cast() argument of incompatible type!"), function cast, file /Users/jruderman/code/llvm/include/llvm/Support/Casting.h, line 194.
The text was updated successfully, but these errors were encountered:
rust-lang#957 will need more fixes and discussions to be enabled. In the meantime, this PR includes the symtab2gb conversion step in --only-codegen runs, so that Kani fails if the conversion from Kani-generated symbol tables to GotoC program is invalid.
Assertion failed: (isa(Val) && "cast() argument of incompatible type!"), function cast, file /Users/jruderman/code/llvm/include/llvm/Support/Casting.h, line 194.
The text was updated successfully, but these errors were encountered: