1 # Thierry Parmentelat <thierry.parmentelat@inria.fr>
2 # Copyright (C) 2010 INRIA
4 # a macro for releasing all local resources and cleanup trackers
6 "release local resources (stop vs, kill qemus, clean trackers)"
8 from TestPlc import TestPlc
10 def run01_vs_stop (test_plc):
11 return test_plc.vs_stop()
13 def run02_qemu_stop (test_plc):
14 return test_plc.qemu_kill_mine()
16 def run03_free_trackers (test_plc):
17 return test_plc.local_rel()