Commit 0dd03673 authored by Marek Chalupa's avatar Marek Chalupa
Browse files

kindse: turn to BSE 

Do not execute the paths entirely, just compute the precondition
from the states.
parent 83e74d65
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment