Sign in
eclipse
/
gerrit
/
www.eclipse.org
/
escet
/
597580830dcb8a8eee89bf6c9cee15b964251830
/
.
/
v0.1-M2
/
cif
/
tools
/
cifsim
/
solver
/
root_comma_fail.cif
blob: 4c3b5f75a5a767b690c880c08bda2d46d66f7c41 [
file
] [
log
] [
blame
]
automaton p
:
cont x der
1.0
;
location
:
initial
;
edge
when
x
>
0
,
1
/
x
<
0.5
do
x
:=
0.0
;
end