semvec/pypi-packages huggingface dataset:
chuanzhibo-ke-android-mianshiti-jingbian-disiban 2024.3.4.0
传智播客 Android 面试题精编第四版
Requires Python: >=3.6

# 传智播客 Android 面试题精编第四版

## 下载

### Docker

```
docker pull apachecn0/chuanzhibo-ke-android-mianshiti-jingbian-disiban
docker run -tid -p <port>:80 apachecn0/chuanzhibo-ke-android-mianshiti-jingbian-disiban
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install chuanzhibo-ke-android-mianshiti-jingbian-disiban
chuanzhibo-ke-android-mianshiti-jingbian-disiban <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g chuanzhibo-ke-android-mianshiti-jingbian-disiban
chuanzhibo-ke-android-mianshiti-jingbian-disiban <port>
# 访问 http://localhost:{port} 查看文档
```
chuanyue-zhaiwu-weiji-part1-v4-0 2024.3.4.0
《穿越债务危机》Part1 v4.0
Requires Python: >=3.6

# 《穿越债务危机》Part1 v4.0

## 下载

### Docker

```
docker pull apachecn0/chuanyue-zhaiwu-weiji-part1-v4-0
docker run -tid -p <port>:80 apachecn0/chuanyue-zhaiwu-weiji-part1-v4-0
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install chuanyue-zhaiwu-weiji-part1-v4-0
chuanyue-zhaiwu-weiji-part1-v4-0 <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g chuanyue-zhaiwu-weiji-part1-v4-0
chuanyue-zhaiwu-weiji-part1-v4-0 <port>
# 访问 http://localhost:{port} 查看文档
```
chengxuyuan-de-ziwo-xiuyang-leohui 2024.3.4.0
程序员的自我修养（LeoHui）
Requires Python: >=3.6

# 程序员的自我修养（LeoHui）

## 下载

### Docker

```
docker pull apachecn0/chengxuyuan-de-ziwo-xiuyang-leohui
docker run -tid -p <port>:80 apachecn0/chengxuyuan-de-ziwo-xiuyang-leohui
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install chengxuyuan-de-ziwo-xiuyang-leohui
chengxuyuan-de-ziwo-xiuyang-leohui <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g chengxuyuan-de-ziwo-xiuyang-leohui
chengxuyuan-de-ziwo-xiuyang-leohui <port>
# 访问 http://localhost:{port} 查看文档
```
chao-zhineng-ti-yjango 2024.3.4.0
超智能体（YJango）
Requires Python: >=3.6

# 超智能体（YJango）

## 下载

### Docker

```
docker pull apachecn0/chao-zhineng-ti-yjango
docker run -tid -p <port>:80 apachecn0/chao-zhineng-ti-yjango
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install chao-zhineng-ti-yjango
chao-zhineng-ti-yjango <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g chao-zhineng-ti-yjango
chao-zhineng-ti-yjango <port>
# 访问 http://localhost:{port} 查看文档
```
chanpin-jingli-shujufenxi-shouce-yuxiaosong 2024.3.4.0
产品经理数据分析手册（于晓松）
Requires Python: >=3.6

# 产品经理数据分析手册（于晓松）

## 下载

### Docker

```
docker pull apachecn0/chanpin-jingli-shujufenxi-shouce-yuxiaosong
docker run -tid -p <port>:80 apachecn0/chanpin-jingli-shujufenxi-shouce-yuxiaosong
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install chanpin-jingli-shujufenxi-shouce-yuxiaosong
chanpin-jingli-shujufenxi-shouce-yuxiaosong <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g chanpin-jingli-shujufenxi-shouce-yuxiaosong
chanpin-jingli-shujufenxi-shouce-yuxiaosong <port>
# 访问 http://localhost:{port} 查看文档
```
c-stl-kuaisu-rumen-c-yuyan-zhongwenwang 2024.3.4.0
C++ STL快速入门（C 语言中文网）
Requires Python: >=3.6

# C++ STL快速入门（C 语言中文网）

## 下载

### Docker

```
docker pull apachecn0/c-stl-kuaisu-rumen-c-yuyan-zhongwenwang
docker run -tid -p <port>:80 apachecn0/c-stl-kuaisu-rumen-c-yuyan-zhongwenwang
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install c-stl-kuaisu-rumen-c-yuyan-zhongwenwang
c-stl-kuaisu-rumen-c-yuyan-zhongwenwang <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g c-stl-kuaisu-rumen-c-yuyan-zhongwenwang
c-stl-kuaisu-rumen-c-yuyan-zhongwenwang <port>
# 访问 http://localhost:{port} 查看文档
```
bottle-python-web-kuangjia-zhongwen-wendang 2024.3.4.0
Bottle Python Web 框架中文文档
Requires Python: >=3.6

# Bottle Python Web 框架中文文档

## 下载

### Docker

```
docker pull apachecn0/bottle-python-web-kuangjia-zhongwen-wendang
docker run -tid -p <port>:80 apachecn0/bottle-python-web-kuangjia-zhongwen-wendang
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install bottle-python-web-kuangjia-zhongwen-wendang
bottle-python-web-kuangjia-zhongwen-wendang <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g bottle-python-web-kuangjia-zhongwen-wendang
bottle-python-web-kuangjia-zhongwen-wendang <port>
# 访问 http://localhost:{port} 查看文档
```
bochang-tron-jisu-huanjing-dajian-de-shizhan-gongcheng-moban 2024.3.4.0
波场Tron-极速环境搭建的实战工程模板
Requires Python: >=3.6

# 波场Tron-极速环境搭建的实战工程模板

## 下载

### Docker

```
docker pull apachecn0/bochang-tron-jisu-huanjing-dajian-de-shizhan-gongcheng-moban
docker run -tid -p <port>:80 apachecn0/bochang-tron-jisu-huanjing-dajian-de-shizhan-gongcheng-moban
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install bochang-tron-jisu-huanjing-dajian-de-shizhan-gongcheng-moban
bochang-tron-jisu-huanjing-dajian-de-shizhan-gongcheng-moban <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g bochang-tron-jisu-huanjing-dajian-de-shizhan-gongcheng-moban
bochang-tron-jisu-huanjing-dajian-de-shizhan-gongcheng-moban <port>
# 访问 http://localhost:{port} 查看文档
```
benbanfa-xue-git 2024.3.4.0
笨办法学 Git
Requires Python: >=3.6

# 笨办法学 Git

## 下载

### Docker

```
docker pull apachecn0/benbanfa-xue-git
docker run -tid -p <port>:80 apachecn0/benbanfa-xue-git
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install benbanfa-xue-git
benbanfa-xue-git <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g benbanfa-xue-git
benbanfa-xue-git <port>
# 访问 http://localhost:{port} 查看文档
```
baiye-jiqi-xuexi-xiao-shu 2024.3.4.0
百页机器学习小书
Requires Python: >=3.6

# 百页机器学习小书

## 下载

### Docker

```
docker pull apachecn0/baiye-jiqi-xuexi-xiao-shu
docker run -tid -p <port>:80 apachecn0/baiye-jiqi-xuexi-xiao-shu
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install baiye-jiqi-xuexi-xiao-shu
baiye-jiqi-xuexi-xiao-shu <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g baiye-jiqi-xuexi-xiao-shu
baiye-jiqi-xuexi-xiao-shu <port>
# 访问 http://localhost:{port} 查看文档
```
ba-shijian-dangzuo-pengyou 2024.3.4.0
把时间当做朋友
Requires Python: >=3.6

# 把时间当做朋友

## 下载

### Docker

```
docker pull apachecn0/ba-shijian-dangzuo-pengyou
docker run -tid -p <port>:80 apachecn0/ba-shijian-dangzuo-pengyou
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install ba-shijian-dangzuo-pengyou
ba-shijian-dangzuo-pengyou <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g ba-shijian-dangzuo-pengyou
ba-shijian-dangzuo-pengyou <port>
# 访问 http://localhost:{port} 查看文档
```
apache-server-2-4-zhongwen-wendang 2024.3.4.0
Apache Server 2.4 中文文档
Requires Python: >=3.6

# Apache Server 2.4 中文文档

## 下载

### Docker

```
docker pull apachecn0/apache-server-2-4-zhongwen-wendang
docker run -tid -p <port>:80 apachecn0/apache-server-2-4-zhongwen-wendang
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install apache-server-2-4-zhongwen-wendang
apache-server-2-4-zhongwen-wendang <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g apache-server-2-4-zhongwen-wendang
apache-server-2-4-zhongwen-wendang <port>
# 访问 http://localhost:{port} 查看文档
```
apache-hive-3-1-1-zhongwen-wendang 2024.3.4.0
Apache Hive 3.1.1 中文文档
Requires Python: >=3.6

# Apache Hive 3.1.1 中文文档

## 下载

### Docker

```
docker pull apachecn0/apache-hive-3-1-1-zhongwen-wendang
docker run -tid -p <port>:80 apachecn0/apache-hive-3-1-1-zhongwen-wendang
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install apache-hive-3-1-1-zhongwen-wendang
apache-hive-3-1-1-zhongwen-wendang <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g apache-hive-3-1-1-zhongwen-wendang
apache-hive-3-1-1-zhongwen-wendang <port>
# 访问 http://localhost:{port} 查看文档
```
apache-freemarker-2-3-28-zhongwen-wendang 2024.3.4.0
Apache FreeMarker 2.3.28 中文文档
Requires Python: >=3.6

# Apache FreeMarker 2.3.28 中文文档

## 下载

### Docker

```
docker pull apachecn0/apache-freemarker-2-3-28-zhongwen-wendang
docker run -tid -p <port>:80 apachecn0/apache-freemarker-2-3-28-zhongwen-wendang
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install apache-freemarker-2-3-28-zhongwen-wendang
apache-freemarker-2-3-28-zhongwen-wendang <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g apache-freemarker-2-3-erba-zhongwen-wendang
apache-freemarker-2-3-erba-zhongwen-wendang <port>
# 访问 http://localhost:{port} 查看文档
```
apache-flume-1-9-0-zhongwen-wendang 2024.3.4.0
Apache Flume 1.9.0 中文文档
Requires Python: >=3.6

# Apache Flume 1.9.0 中文文档

## 下载

### Docker

```
docker pull apachecn0/apache-flume-1-9-0-zhongwen-wendang
docker run -tid -p <port>:80 apachecn0/apache-flume-1-9-0-zhongwen-wendang
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install apache-flume-1-9-0-zhongwen-wendang
apache-flume-1-9-0-zhongwen-wendang <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g apache-flume-1-9-0-zhongwen-wendang
apache-flume-1-9-0-zhongwen-wendang <port>
# 访问 http://localhost:{port} 查看文档
```
algorithms-jeff-erickson 2024.3.4.0
Algorithms (Jeff Erickson)
Requires Python: >=3.6

# Algorithms (Jeff Erickson)

## 下载

### Docker

```
docker pull apachecn0/algorithms-jeff-erickson
docker run -tid -p <port>:80 apachecn0/algorithms-jeff-erickson
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install algorithms-jeff-erickson
algorithms-jeff-erickson <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g algorithms-jeff-erickson
algorithms-jeff-erickson <port>
# 访问 http://localhost:{port} 查看文档
```
algebra-topology-differential-calculus-and-optimization-theory-for-computer-science-and-engineering 2024.3.4.0
Algebra, Topology, Differential Calculus, and Optimization Theory For Computer Science and Engineering
Requires Python: >=3.6

# Algebra, Topology, Differential Calculus, and Optimization Theory For Computer Science and Engineering

## 下载

### Docker

```
docker pull apachecn0/algebra-topology-differential-calculus-and-optimization-theory-for-computer-science-and-engineering
docker run -tid -p <port>:80 apachecn0/algebra-topology-differential-calculus-and-optimization-theory-for-computer-science-and-engineering
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install algebra-topology-differential-calculus-and-optimization-theory-for-computer-science-and-engineering
algebra-topology-differential-calculus-and-optimization-theory-for-computer-science-and-engineering <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g algebra-topology-differential-calculus-and-optimization-theory-for-computer-science-and-engineering
algebra-topology-differential-calculus-and-optimization-theory-for-computer-science-and-engineering <port>
# 访问 http://localhost:{port} 查看文档
```
aaai-2019-notes 2024.3.4.0
AAAI 2019 Notes
Requires Python: >=3.6

# AAAI 2019 Notes

## 下载

### Docker

```
docker pull apachecn0/aaai-2019-notes
docker run -tid -p <port>:80 apachecn0/aaai-2019-notes
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install aaai-2019-notes
aaai-2019-notes <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g aaai-erlingyijiu-notes
aaai-erlingyijiu-notes <port>
# 访问 http://localhost:{port} 查看文档
```
a-survey-on-dialogue-systems-recent-advances-and-new-frontiers-fanyi 2024.3.4.0
A Survey on Dialogue Systems Recent Advances and New Frontiers 翻译
Requires Python: >=3.6

# A Survey on Dialogue Systems Recent Advances and New Frontiers 翻译

## 下载

### Docker

```
docker pull apachecn0/a-survey-on-dialogue-systems-recent-advances-and-new-frontiers-fanyi
docker run -tid -p <port>:80 apachecn0/a-survey-on-dialogue-systems-recent-advances-and-new-frontiers-fanyi
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install a-survey-on-dialogue-systems-recent-advances-and-new-frontiers-fanyi
a-survey-on-dialogue-systems-recent-advances-and-new-frontiers-fanyi <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g a-survey-on-dialogue-systems-recent-advances-and-new-frontiers-fanyi
a-survey-on-dialogue-systems-recent-advances-and-new-frontiers-fanyi <port>
# 访问 http://localhost:{port} 查看文档
```
a-comprehensive-guide-to-machine-learning-ucb-cs189 2024.3.4.0
A Comprehensive Guide to Machine Learning (UCB CS189)
Requires Python: >=3.6

# A Comprehensive Guide to Machine Learning (UCB CS189)

## 下载

### Docker

```
docker pull apachecn0/a-comprehensive-guide-to-machine-learning-ucb-cs189
docker run -tid -p <port>:80 apachecn0/a-comprehensive-guide-to-machine-learning-ucb-cs189
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install a-comprehensive-guide-to-machine-learning-ucb-cs189
a-comprehensive-guide-to-machine-learning-ucb-cs189 <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g a-comprehensive-guide-to-machine-learning-ucb-csyibajiu
a-comprehensive-guide-to-machine-learning-ucb-csyibajiu <port>
# 访问 http://localhost:{port} 查看文档
```
SolTg 0.0.5
Test generation for Solidity in Foundry format (https://github.com/foundry-rs/foundry).

# solidity_testgen

Test generation for Solidity in Foundry format  (https://github.com/foundry-rs/foundry)

Example of Contract under Test:
```
contract C {

    uint x;

	function f(uint _x) public {}
	function g(uint _x, uint _y) public {}
	function w(uint _x) public {}


	function i(uint _x) internal {}
}
```
Expected results of Test Generation:
```
import "forge-std/Test.sol";
import "../src/contract_under_test.sol";

contract contract_under_test_Test is Test {
	C c0, c1, c2, ... cN;

	function setUp() public {
		c0 = new C(); c1 = new C(); ... cN = new C();
	}
	function test_0() public {
		c0.f();
		c0.g();
		....
		c0.w();
	}
........
    function test_n() public {
		cN.g();
		cN.w();
		....
		cN.w();
	}
}
```



### Dependincies / Setup

* [Docker](https://docs.docker.com/engine/install/)

Also don't forget to get your user permission to interact with docker:
https://stackoverflow.com/questions/48957195/how-to-fix-docker-got-permission-denied-issue

* [Solidity Compiler](https://docs.soliditylang.org/en/latest/installing-solidity.html)

* [Foundry](https://book.getfoundry.sh/getting-started/installation)

* Python3 & pip

* GenHtml (part or lcov)

After dependencies are installed, you also need to install all of the package requirements, by calling
```
pip install -r requirements.txt
```

### Architecture
![img_2.png](img_2.png)

### Building Tests as CHCs-paths-tree
![img_4.png](img_4.png)

#### build project
`forge build`

#### run all tests
`forge test`

#### run specified test
`forge test --match Loop*`

#### run test generation for specified sol-file with Python 
`python3 ./scripts/SolidityTestGen.py -i ./src/Loop_1.sol`

#### run test generation for folder with sol-files with Python
`python3 ./scripts/RunAll.py -i folder_path -o ../testgen_output`

#### Report example:
![img_3.png](img_3.png)

#### Generate a report:
`python3 ./scripts/ReportBuilder.py -i testgen_dir`