./.codecov.yml
CITATION.bib
Project.toml
docs/Project.toml
docs/make.jl
examples/PEDJ16s4.jl
examples/Thermostat.ipynb
examples/cruise_control.jl
examples/horizontal_jump.ipynb
examples/horizontal_jump.jl
examples/lyap.jl
examples/nocone.jl
examples/simple_cruise_control.jl
examples/square.ipynb
examples/square.jl
examples/utils.jl
src/HybridSystems.jl
src/automata.jl
src/light.jl
src/onestate.jl
src/paths.jl
src/switchedsystems.jl
src/switchings.jl
test/automata.jl
test/runtests.jl
<<<<<< network
# path=lcov.info
SF:src/HybridSystems.jl
DA:58,16
DA:65,2
DA:66,5
DA:70,9
DA:78,145
DA:83,0
DA:94,12
DA:101,9
DA:108,8
DA:115,4
DA:122,38
DA:129,0
DA:136,4
DA:140,4
DA:147,5
DA:154,0
DA:161,4
DA:163,0
DA:164,0
DA:165,0
LH:14
LF:20
end_of_record
SF:src/automata.jl
DA:8,1
DA:9,2
DA:10,3
DA:11,5
DA:13,2
DA:17,2
DA:18,2
DA:19,4
DA:20,14
DA:22,2
DA:32,0
DA:41,0
LH:10
LF:12
end_of_record
SF:src/light.jl
DA:18,16
DA:52,1
DA:53,8
DA:54,8
DA:55,8
DA:59,214
DA:74,74
DA:77,3
DA:78,17
DA:79,19
DA:81,50
DA:83,0
DA:84,55
DA:87,44
DA:88,44
DA:90,16
DA:91,41
DA:92,41
DA:93,41
DA:94,41
DA:96,2
DA:97,41
DA:99,37
DA:100,38
DA:101,38
DA:104,12
DA:105,241
DA:107,2
DA:108,4
DA:109,11
DA:111,12
DA:114,114
DA:115,114
DA:116,114
DA:120,4
DA:121,4
DA:122,4
DA:125,63
DA:126,63
DA:127,63
DA:128,63
DA:129,63
DA:130,65
DA:131,63
DA:132,63
DA:133,61
DA:135,63
DA:136,63
DA:137,61
DA:138,61
DA:140,63
DA:142,9
DA:143,9
DA:145,14
DA:146,14
DA:148,3
DA:149,7
DA:150,7
DA:151,7
DA:152,7
DA:153,5
DA:154,6
DA:158,1
DA:160,1
DA:161,4
DA:163,1
DA:164,2
DA:166,1
DA:169,1
DA:170,1
DA:173,6
DA:174,32
DA:175,10
DA:177,6
DA:178,31
DA:179,11
DA:180,11
DA:181,11
DA:183,6
DA:184,29
DA:185,11
DA:186,11
DA:187,11
DA:191,4
DA:196,2
DA:198,1
DA:199,2
DA:203,4
DA:205,2
DA:207,3
DA:211,4
DA:215,2
DA:217,1
DA:218,2
DA:222,15
DA:224,5
DA:226,10
LH:96
LF:97
end_of_record
SF:src/onestate.jl
DA:9,2
DA:18,114
DA:21,4
DA:22,3
DA:23,10
DA:24,2
DA:26,41
DA:28,2
DA:29,12
DA:30,45
DA:31,14
DA:32,14
DA:33,18
DA:34,1
DA:35,1
DA:36,1
DA:37,1
DA:39,8
DA:40,8
DA:44,2
DA:47,2
DA:49,2
DA:53,3
DA:54,3
DA:58,2
DA:59,2
DA:63,4
DA:66,2
DA:67,1
DA:68,2
DA:72,15
DA:74,5
DA:76,10
LH:33
LF:33
end_of_record
SF:src/paths.jl
DA:4,48
DA:10,0
DA:11,0
DA:12,0
DA:15,0
DA:16,0
DA:18,8
DA:19,8
DA:22,22
DA:24,22
DA:26,2
DA:27,4
DA:28,2
DA:29,2
DA:32,3
DA:33,3
DA:34,3
DA:35,2
DA:36,1
DA:37,2
DA:39,1
DA:40,1
DA:41,1
DA:42,1
DA:43,1
DA:44,0
DA:45,0
DA:47,3
DA:51,1
DA:53,3
DA:56,3
DA:57,3
DA:58,3
DA:59,2
DA:60,2
DA:62,1
DA:63,1
DA:64,3
DA:67,1
DA:69,3
DA:73,14
DA:78,5
DA:85,7
DA:86,7
DA:97,7
DA:103,26
DA:104,15
DA:106,11
DA:110,12
DA:111,7
DA:113,5
DA:117,7
DA:118,10
DA:119,7
DA:120,14
DA:121,7
DA:122,0
DA:124,7
DA:125,7
DA:126,7
DA:127,7
DA:128,7
DA:131,40
DA:134,19
DA:135,34
DA:136,7
DA:138,12
DA:142,34
DA:143,61
DA:144,12
DA:146,22
DA:149,15
DA:150,15
DA:151,15
DA:153,34
DA:154,34
DA:155,34
DA:156,39
DA:157,83
DA:158,47
DA:159,34
DA:161,15
DA:162,35
DA:163,67
DA:164,5
DA:166,45
DA:167,30
DA:170,41
DA:171,41
DA:172,73
DA:173,22
DA:175,27
DA:176,38
DA:177,19
LH:86
LF:94
end_of_record
SF:src/switchedsystems.jl
DA:42,2
DA:43,3
DA:44,2
DA:45,2
DA:46,1
DA:47,1
DA:49,2
DA:50,4
DA:51,6
DA:52,2
DA:53,4
DA:54,2
DA:55,2
DA:57,4
DA:58,4
DA:59,4
DA:60,8
DA:61,10
DA:64,2
DA:67,1
DA:68,2
DA:69,2
DA:70,4
DA:71,8
DA:72,4
DA:73,4
DA:74,2
DA:76,10
DA:80,2
DA:81,2
DA:83,3
DA:84,5
DA:85,5
DA:86,15
DA:87,20
DA:88,20
DA:89,20
DA:90,5
DA:92,20
DA:96,5
DA:97,5
DA:100,5
LH:42
LF:42
end_of_record
SF:src/switchings.jl
DA:19,8
LH:1
LF:1
end_of_record
<<<<<< EOF