package Ġcom . h ile co . c ortex . analysis . processors Ċ Ċ import Ġcom . h ile co . c ortex . analysis . Graph Builder Ċ import Ġcom . h ile co . c ortex . collections . Back ed Integer . Companion . ONE _ 3 2 Ċ import Ġcom . h ile co . c ortex . collections . to Back ed Integer Ċ import Ġcom . h ile co . c ortex . s ymbolic . Program Exception . Reason . WIN NER Ċ import Ġcom . h ile co . c ortex . s ymbolic . Program Store Zone . DISK Ċ import Ġcom . h ile co . c ortex . s ymbolic . instructions . debug . HAL T Ċ import Ġcom . h ile co . c ortex . s ymbolic . instructions . debug . NO OP Ċ import Ġcom . h ile co . c ortex . s ymbolic . instructions . io . SAVE Ċ import Ġcom . h ile co . c ortex . s ymbolic . instructions . stack . PUSH Ċ import Ġorg . junit . Assert Ċ import Ġorg . junit . Test Ċ Ċ class ĠDead Start Processor Test Ġ: ĠProcessor F uzz Test () Ġ{ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġprocess () Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġgraph Builder Ġ= ĠGraph Builder ( listOf ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠDead Start Processor () ĊĠĠĠĠĠĠĠ Ġ)) ĊĠĠĠĠĠĠĠ Ġval Ġoriginal Ġ= ĠlistOf ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠP USH ( 1 0 . to Back ed Integer ()), ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠP USH ( ONE _ 3 2 ), ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠHAL T ( WIN NER ) ĊĠĠĠĠĠĠĠ Ġ) ĊĠĠĠĠĠĠĠ Ġval Ġgraph Ġ= Ġgraph Builder . build ( original ) ĊĠĠĠĠĠĠĠ Ġval Ġinstructions Ġ= Ġgraph . to Instructions () ĊĊĠĠĠĠĠĠĠ ĠAssert . assertEquals ( instructions , ĠlistOf ( NO OP (), ĠNO OP (), ĠHAL T ( WIN NER ))) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġprocess Implicit Exit () Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġgraph Builder Ġ= ĠGraph Builder ( listOf ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠDead Start Processor () ĊĠĠĠĠĠĠĠ Ġ)) ĊĠĠĠĠĠĠĠ Ġval Ġoriginal Ġ= ĠlistOf ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠP USH ( 1 0 . to Back ed Integer ()), ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠP USH ( ONE _ 3 2 ) ĊĠĠĠĠĠĠĠ Ġ) ĊĠĠĠĠĠĠĠ Ġval Ġgraph Ġ= Ġgraph Builder . build ( original ) ĊĠĠĠĠĠĠĠ Ġval Ġinstructions Ġ= Ġgraph . to Instructions () ĊĊĠĠĠĠĠĠĠ ĠAssert . assertEquals ( instructions , ĠlistOf ( NO OP (), ĠNO OP ())) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġprocess Explicit Exit With Disk Change () Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġgraph Builder Ġ= ĠGraph Builder ( listOf ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠDead Start Processor () ĊĠĠĠĠĠĠĠ Ġ)) ĊĠĠĠĠĠĠĠ Ġval Ġoriginal Ġ= ĠlistOf ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠP USH ( 1 0 . to Back ed Integer ()), ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠP USH ( ONE _ 3 2 ), ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠSAVE ( DISK ), ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠHAL T ( WIN NER ) ĊĠĠĠĠĠĠĠ Ġ) ĊĠĠĠĠĠĠĠ Ġval Ġgraph Ġ= Ġgraph Builder . build ( original ) ĊĠĠĠĠĠĠĠ Ġval Ġinstructions Ġ= Ġgraph . to Instructions () ĊĊĠĠĠĠĠĠĠ ĠAssert . assertEquals ( instructions , Ġoriginal ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġoverride Ġfun Ġf uzz Test able Processor (): ĠProcessor Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn ĠDead Start Processor () ĊĠĠĠ Ġ} Ċ }