Skip to content
Commit e27a0ed9 authored by Bastian Köcher's avatar Bastian Köcher
Browse files

Adds test to verify that the runtime currently is always contained in 

the proof
parent 1b42f249
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment