package Ġedu . corn ell . cs . apl . vi ad uct Ċ Ċ import Ġcom . microsoft . z 3 . Context Ċ import Ġorg . junit . jupiter . api . Test Ċ Ċ internal Ġclass ĠZ 3 Test Ġ{ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` z 3 Ġworks `() Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġctx Ġ= ĠContext () ĊĠĠĠĠĠĠĠ Ġctx . close () ĊĠĠĠ Ġ} Ċ } Ċ