[Boogie Backend] Add support for int-to-int casts #5984
zhassan-awskani.yml
on: push
write-json-symtab-regression
12m 56s
benchcomp-tests
4m 55s
perf
31m 20s
bookrunner
15m 21s
Matrix: regression