2
# arch-tag: c1e96470-5c02-4f0c-a096-d5e2d4e4e874
5
os.environ['HOME'] = os.getcwd()
6
os.environ['PYCHECKER'] = '--stdlib --no-miximport'
7
import pychecker.checker
13
import arch.backends.commandline
14
import arch.backends.forkexec
15
import arch.backends.knotted
16
import arch.backends.logger
17
import arch.backends.tla
19
import arch.tests.framework
20
import arch.tests.test_arch
21
import arch.tests.test_coding
22
import arch.tests.test_intrinsics
24
# # Cannot even import those!
25
#import arch.tests.framework_twisted
26
#import arch.tests.test_twisted
27
#import arch.tests.test_twisted_arch