bors 2be0db4c0b Auto merge of #917 - RalfJung:isolation, r=oli-obk ...

change flag name: enable-communication -> disable-isolation

r? @oli-obk  -- I think this is a better name for the flag but it is still somewhat clumsy. Suggestions?

2019-08-27 10:02:07 +00:00

..

compile-fail

fix test failure due to my own lint

2019-08-18 11:16:02 +02:00

run-pass

test host randomness access

2019-08-23 23:30:23 +02:00

compiletest.rs

hashmap ICEs with optimizations, temporarily disable

2019-08-27 08:42:36 +02:00