Commit 2b152af4 authored by point's avatar point
Browse files

test files

parent acec1793
node _0
state
_1, _2 : bool : public
event
_3, _4 : public
flow
_5, _6 : bool : public
trans
~_1 & ~_2
|- _3 -> _1 := true;
~_1 & ~_2
|- _4 -> _2 := true
init
_1 := false,
_2 := false
assert
_5 = _1;
_6 = (~_1 & ~_2)
edon
node _7
state
_1 : bool : public
event
_8 : public
trans
~_1
|- _8 -> _1 := true
init
_1 := false
edon
node _9
state
_1 : bool : public
event
_8 : public
flow
_10, _11 : bool : public
trans
~_1
|- _8 -> _1 := true
init
_1 := false
assert
_10 = (_11 | _1)
edon
node _12
state
_13, _14 : bool : public
event
_15, _16 : public
flow
_10, _11 : bool : public
trans
~_13 & ~_14
|- _15 -> _13 := true;
~_13 & ~_14
|- _16 -> _14 := true
init
_13 := false,
_14 := false
assert
_10 = (_11 | _13 | _14)
edon
node _17
state
_1, _2 : bool : public
event
_3, _4 : public
flow
_18, _19, _20, _21, _22, _23 : bool : public
trans
~_1 & ~_2
|- _3 -> _1 := true;
~_1 & ~_2
|- _4 -> _2 := true
init
_1 := false,
_2 := false
edon
node _24
sub
_25, _26, _27 : _0;
_28, _29 : _7;
_30, _31 : _12;
_32 : _17
assert
_30._11 = (_25._2 | _28._1 | _31._14);
_31._11 = (_25._2 | _28._1 | _30._14);
_32._18 = (_25._2 | _28._1 | _31._14 | _30._13 | _30._14 | _26._2 | _26._1);
_32._19 = (_25._5 & ~_32._18);
_32._20 = (_25._6 & ~_32._18);
_32._21 = (_26._5);
_32._22 = (_26._6);
_32._23 = (_30._10)
edon
node _33
state
_1, _2 : bool : public
event
_3, _4 : public
flow
_34, _35, _36, _37, _38, _39, _40, _41, _42, _43, _44, _45, _46, _47, _48 : bool : public
trans
~_1 & ~_2
|- _3 -> _1 := true;
~_1 & ~_2
|- _4 -> _2 := true
init
_1 := false,
_2 := false
edon
node _49
sub
_50 : _24;
_51, _52, _53 : _0;
_54, _55 : _7;
_56, _57, _58 : _9;
_59 : _33
assert
_56._11 = (_50._26._2 | _50._29._1);
_57._11 = (_53._2 | _54._1);
_58._11 = (_53._2 | _55._1);
_59._34 = (_53._2 | _55._1 | _58._1 | _52._2 | _52._1);
_59._35 = _52._2;
_59._36 = (_53._5 & ~_59._34);
_59._37 = (_53._6 & ~_59._34);
_59._38 = (_52._5 & ~_59._35);
_59._39 = (_52._6 & ~_59._35);
_59._40 = (_56._10 & ~_59._34);
_59._41 = (_58._10 & ~_59._35);
_59._42 = (_50._32._2 | _50._26._2 | _50._29._1 | _56._1 | _53._1 | _59._34);
_59._43 = (_50._32._18 & ~_59._42);
_59._44 = (_50._32._19 & ~_59._42);
_59._45 = (_50._32._20 & ~_59._42);
_59._46 = (_50._32._21 & ~_59._42);
_59._47 = (_50._32._22 & ~_59._42);
_59._48 = (_50._32._23 & ~_59._42)
edon
load obf.alt
sequences _49 "_59._37 & _59._43"
sequences _49 "_59._43 & _59._37"
Supports Markdown
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