[私密] Generate Invariants (Code2Inv, G-CLN, Dig, ZILU, Pilat) on Ubuntu 20.04
(1) Python中,每个py文件被称之为模块,每个具有_init_.py文件的目录被称为包。如果要使用的模块(py文件)和当前模块在同一目录,只要import相应的文件名即可,比如在a.py中使用b.py:import b即可;但是如果要import一个不同目录的文件,首先需要使用sys.path.append方法将b.py所在目录加入到搜索目录中,然后进行import即可,例如:import sys sys.path.append(‘c:\xxx\b.py’)(1)使用sage -t。
原创
2021-09-04 11:43:00 ·
299 阅读 ·
0 评论