Necromaticon

```no_std``` issues with implementing ```panic_handler```

10

I'm trying to interpet a very simple ```no_std``` example before going for any bigger problems. Problem appears to be that none of the ```panic_handler``` crates are working with Miri. The...

```--tests``` flag should enable ```#[test]``` attributes and behavior

2

# Requested feature: When using the ```--tests``` flag ```#[test]``` attributes should be recognized by Kani. By extension it would be nice if enabling the ```--tests``` flag would automatically execute all...