rahulku comments

Repositories
Issues
Comments

Results 7 comments of


                                            rahulku

Index was outside the bounds of the array

bump. any solutions found for this one?

ICE: `BinaryOperation Expression does not typecheck Plus Expr`

Thanks @matthiaskrgr We will triage this.

BLOCKED: Add kani::spawn and an executor to the Kani library

Hi folks, what is the status of this PR?

refactor(kani-driver, concrete_playback): process unit tests line by line, modularize functions, and add unit tests

@celinval @sanjit-bhat - is this still active?

vstte paper

removed LLNCS specific files, added README.

hangs on string.repeat() ?

@tautschnig - what are the array theory issues?

Command-line flag to change model target or environment

We need to update our documentation for supported architectures. Please see https://model-checking.github.io/kani/install-guide.html for a list of supported architectures.